[tor-bugs] #31677 [Core Tor/Tor]: Add usage help option to git scripts

Tor Bug Tracker & Wiki blackhole at torproject.org
Tue Sep 10 02:19:25 UTC 2019


#31677: Add usage help option to git scripts
------------------------------------+------------------------------------
 Reporter:  teor                    |          Owner:  teor
     Type:  defect                  |         Status:  assigned
 Priority:  Medium                  |      Milestone:  Tor: 0.4.2.x-final
Component:  Core Tor/Tor            |        Version:  Tor: unspecified
 Severity:  Normal                  |     Resolution:
 Keywords:  git-scripts, dev-tools  |  Actual Points:  0.1
Parent ID:                          |         Points:  0.1
 Reviewer:                          |        Sponsor:  Sponsor31-can
------------------------------------+------------------------------------

Comment (by teor):

 See my PR:
 * master: https://github.com/torproject/tor/pull/1312

 It also includes a fix for #31678, because there were conflicts.

 This is a fix on the last help ticket for the git scripts, so I don't
 think it needs a changes file.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31677#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online


More information about the tor-bugs mailing list