Skip to content

Conversation

Mr0grog
Copy link
Member

@Mr0grog Mr0grog commented Oct 17, 2025

The stale issue bot was added many years ago to help manage the influx of a lot of ideas and brainstorming against a small implementation team. Today, the web-monitoring tools mostly just have one maintainer (me) and are not flooded with a lot of issues and ideas. Long-lived issues are more common, and they are helpful for me to keep track of things over the slow pace and timeframe in which I can individually address stuff. Stale bot feels like it is getting more in the way than helping in the current moment (it's also deprecated!). So, I’m disabling it.

Context: Stale bot seems to have been dead for a while (I actually thought we’d disabled it), but it seems to have woken up yesterday and marked a huge pile of issues as stale across a whole lot of repos.

The stale issue bot was added many years ago to help manage the influx of a lot of ideas and brainstorming against a small implementation team. Today, the web-monitoring tools mostly just have one maintainer (me) and are not flooded with a lot of issues and ideas. Long-lived issues are more common, and they are helpful for me to keep track of things over the slow pace and timeframe in which I can individually address stuff. Stale bot feels like it is getting more in the way than helping in the current moment (it's also deprecated!). So, I’m disabling it.

Context: Stale bot seems to have been dead for a while (I actually thought we’d disabled it), but it seems to have woken up yesterday and marked a huge pile of issues as stale across a whole lot of repos.
@Mr0grog
Copy link
Member Author

Mr0grog commented Oct 17, 2025

I encountered this Circle issue on another repo yesterday — I think something changed under the hood in their Python runtime image and this just needs the cache to be cleared. That said, not really relevant to this PR.

@Mr0grog Mr0grog merged commit b3cf524 into main Oct 17, 2025
6 of 8 checks passed
@Mr0grog Mr0grog deleted the stale-bot-is-stale branch October 17, 2025 16:52
@github-project-automation github-project-automation bot moved this from Inbox to Done in Web Monitoring Oct 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant