orels1 / Red-Portal

A cog-listing project for Red-DiscordBot

http://cogs.red

MIT License

10 stars 1 forks source link

Old cogs and GitHub link #36

Closed Zephyrkul closed 7 years ago

Zephyrkul commented 7 years ago

Hi, author of NationCogs here. I committed an update to my repo that removed two cogs(nationstates and nationshards), and yet both of those cogs are still present on cogs.red. Could they be removed, and would there be a way to remove old cogs automatically when they are no longer in the repo?

Also, I notice there isn't a link anywhere in the site to this GitHub. Could one be added, or at least a link to the New Issue page for reporting bugs? Thank you.

orels1 commented 7 years ago

Ok, yeah, the absence of auto-deletion is listed as an issue currently :) i will delete them manually now. In terms of gh link - i'll add it, yeah, good call

orels1 commented 7 years ago

37 - gh link

Zephyrkul commented 7 years ago

Thank you for the timely response, but I still see both cogs listed on my repo page, even after a full refresh.

orels1 commented 7 years ago

yeah, I know =) I was on my way home when I answered you, I'm home now, so I'll delete those

orels1 commented 7 years ago

Done with that, I think I'm closing this now

Zephyrkul commented 7 years ago

Oh, sure, sorry. Thank you very much, and thanks for the great site! Was just about to close this myself, but you beat me to it.