Trac / Github service bot
During the Seattle network team hackfest we have discussed having a bot that can check for a variety of "Tor only" properties of things like pull-requests on Github.
This could include:
- Checking if a PR actually have a "changes" file.
- Update Trac tickets when PR's are modified(?)
The notes from the session is at https://trac.torproject.org/projects/tor/wiki/org/meetings/2018NetworkTeamHackfestSeattle/CI