[tor-bugs] #26285 [Core Tor/Tor]: Trac / Github service bot

[Tor Bug Tracker & Wiki]

#26285: Trac / Github service bot
------------------------------+------------------------------
     Reporter:  ahf           |      Owner:  (none)
         Type:  project       |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: unspecified
    Component:  Core Tor/Tor  |    Version:  Tor: unspecified
     Severity:  Normal        |   Keywords:  github
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+------------------------------
 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

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/26285>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online