[tor-bugs] #31943 [Core Tor/Tor]: Review pull request: reorganized Tor manual

Tor Bug Tracker & Wiki blackhole at torproject.org
Fri Oct 4 12:10:13 UTC 2019


#31943: Review pull request: reorganized Tor manual
---------------------------------+------------------------------------
 Reporter:  swati                |          Owner:  swati
     Type:  enhancement          |         Status:  needs_review
 Priority:  Medium               |      Milestone:  Tor: 0.4.3.x-final
Component:  Core Tor/Tor         |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:  gsod, documentation  |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+------------------------------------

Comment (by nickm):

 Replying to [comment:5 teor]:
 > We're still making  a few changes to the Tor manual in 0.4,2, how are we
 going to avoid conflicts with this re-organisation?

 If there are conflicts with this merge in particular, I think we should
 resolve them by hand, unless Swati knows how and would rather do it.

 In general, I think that maybe we should limit the number of manual
 changes we make while Swati is working on the reorganization, and we
 should encourage Swati to make frequent PRs so that the possible conflicts
 don't build up over time.

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


More information about the tor-bugs mailing list