Opened 2 years ago

#26285 new project

Trac / Github service bot

Reported by: ahf Owned by:
Priority: Medium Milestone: Tor: unspecified
Component: Core Tor/Tor Version: Tor: unspecified
Severity: Normal Keywords: github
Cc: 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

Child Tickets

Change History (0)

Note: See TracTickets for help on using tickets.