Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
x/build/cmd/gopherbot: auto-Subscribe owners to reported issues based on directory #27586
I assume this won't be done for the entire backlog of issues - it could mean hundreds of notifications for quite a few people :)
It would also be good if this was only done for issues that are still open after an amount of hours. Sometimes, issues are closed as invalid or duplicates after a few hours, and in those cases there's little point in pinging the owners.
Lastly: should this be skipped if any of the owners has already replied to the thread, or been pinged in it?
I'm not sure there's an API for subscribing other people to issues so yeah my idea was just to have gopherbot mention the owners, which subscribes them, if they're not subscribed already.
I think if you are currently subscribed and then unsubscribe, Github is smart enough to know you shouldn't be resubscribed just because someone at-mentioned you.
Yeah agree that would be a bad idea.
I've been thinking about this a bit.
There's not much point in waiting if a human has already looked at the issue and decided that it is valid. In practice, the
So I would say that GopherBot should auto-add owners if: