[tor-bugs] #33766 [Internal Services/Tor Sysadmin Team]: DNS renumbering procedure fails if git is untouched

[Tor Bug Tracker & Wiki]

#33766: DNS renumbering procedure fails if git is untouched
-------------------------------------------------+-------------------------
 Reporter:  anarcat                              |          Owner:  tpa
     Type:  defect                               |         Status:
                                                 |  needs_revision
 Priority:  High                                 |      Milestone:
Component:  Internal Services/Tor Sysadmin Team  |        Version:
 Severity:  Major                                |     Resolution:
 Keywords:                                       |  Actual Points:
Parent ID:                                       |         Points:
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------

Comment (by anarcat):

 a nice special case is when we renumber git.torproject.org, because then
 even the hack of pushing a change to the git repo doesn't work, because
 nevii pulls changes from git.torproject.org to update the zone, because
 i'm sad, because we can't have nice things.

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