#29221: Tooling to track code-style/best-practices violations -------------------------------------------------+------------------------- Reporter: nickm | Owner: (none) Type: enhancement | Status: | merge_ready Priority: Medium | Milestone: Tor: | 0.4.1.x-final Component: Core Tor/Tor | Version: Severity: Normal | Resolution: Keywords: network-team-roadmap-2019-Q1Q2 | Actual Points: teor-merge | Parent ID: | Points: 3 Reviewer: nickm | Sponsor: | Sponsor31-can -------------------------------------------------+------------------------- Changes (by teor):
* type: defect => enhancement Comment: I did a squashed branch, but the CI for the original pull request failed, so I will only merge if the CI for the squashed branch works: https://github.com/torproject/tor/pull/786 -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29221#comment:16> 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