Github does not have "roles and scopes" so to manage stuff like PR labeling, bug triage, etc. I need some help. @solex and I have agreed to give @sickpig access to the repository for these tasks:
- labeling issues
- labeling PR
- restart Travis Jobs to check if a failure is spurious
- close old / solved issues
- moderation of completely off-topic posts in bugs
- code labeling, and old label cleanup
He will not be making code commits. At some later date, I will also be posting a protocol (a human protocol) where he can make emergency commits if I am unavailable.
- labeling issues
- labeling PR
- restart Travis Jobs to check if a failure is spurious
- close old / solved issues
- moderation of completely off-topic posts in bugs
- code labeling, and old label cleanup
He will not be making code commits. At some later date, I will also be posting a protocol (a human protocol) where he can make emergency commits if I am unavailable.