GitIssueBot. A bot for managing Github issues. Currently only supports approving and autolabeling newly created issues, more ideas in the works. Provided as is, no maintenance beyond my own needs, no support.