Opened 12 months 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:

Description

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

Child Tickets

Change History (0)

Note: See TracTickets for help on using tickets.