Bot for Github labels

[csabella]

Currently, triagers aren't able to add labels to Github issues. Zulip has a bot that allows for others to add labels, self-assign, etc. I think this would be helpful to the CPython workflow, with the proper guidance and documentation.

'''
zulipbot's purpose is to work around various limitations in GitHub’s binary permissions and notifications systems to create a better workflow for our contributors. It allows anyone to perform issue triage (self-assigning and labeling issues), not just the core contributors trusted with full write access to the repository (which is the only model GitHub supports). Additionally, zulipbot monitors the activity of issues and pull requests, notifying contributors about new merge conflicts, continuous integration build results, inactivity, and more.
'''

[webknjaz]

Here's some ideas on bot commands https://github.com/ansible/ansibullbot/blob/master/ISSUE_HELP.md

[hugovk]

Currently, triagers aren't able to add labels to Github issues.

I guess something changed in the past four years, I'm a triager and am able to add and remove labels here:

Shall we close this?

[Mariatta]

This was raised before GitHub has the triaging feature, and we only have triagers on bpo. So yes this is not relevant anymore.