#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@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs