Allow managers to add and remove labels on GitHub using a bot account

This will allow managers to add and remove labels for a project on GitHub using a bot account.

It does not cover label management for issues.