[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
[tor-bugs] #26285 [Core Tor/Tor]: Trac / Github service bot
#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
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs