con/tributors

Add --skip-users

Closed this issue · 2 comments

vsoch commented

We might want to skip adding users from a specific list, e.g., in this issue USRSE/usrse.github.io#252 I didn't want my "robot account" added (but it was re-added anyway).

It is hard to follow when issues are closed without a note what had closed them. Best strategy is to use Closes #?? markers either in commit or PR messages. https://docs.github.com/en/enterprise/2.16/user/github/managing-your-work-on-github/closing-issues-using-keywords

vsoch commented

Yep I can do that. It’s hard to do here because when you open an issue I have trouble sometimes pinpointing exactly what needs to be addressed. For those I tried to guess and closed when it was done.