Description
We get a lot of issues raised that basically need to be closed with a link to the relevant repo. @mscdex does a heroic job of commenting (I assume with a saved reply) and closing all these1, but it seems like something that could be automated. Having a bot do that would (IMO) make it feel less personal for the person whose issue is being closed.
1 See for example nodejs/node#16710 (comment)
Proposal
If someone adds the wrong-repo
label, the bot comments and closes the issue. @mscdex 's comment text seems perfect as a stock comment.
General help questions should be posted to the nodejs/help issue tracker instead. This issue tracker is for reporting bugs and submitting feature requests for node core. Issues with npm or other tools that use node should be posted to the appropriate issue tracker for those tools, unless it can be proven that the issue is in fact with node core and not the tool in question.
Follow-on proposal
What might be even more helpful is if a collaborator adds the question
and wrong-repo
labels, the github-bot
"moves" the issue to nodejs/help.
Moving would mean:
- Raising a new issue in nodejs/help @mentioning the original issue raiser and linking to the original issue.
- Closing the nodejs/node issue with a stock comment linking to the new issue.