[tor-bugs] #21718 [Internal Services/Service - git]: git-rw.torproject.org is out of sync with git.torproject.org for webwml repo

[Tor Bug Tracker & Wiki]

#21718: git-rw.torproject.org is out of sync with git.torproject.org for webwml
repo
-------------------------------------------------+------------------------
     Reporter:  gk                               |      Owner:  tor-gitadm
         Type:  defect                           |     Status:  new
     Priority:  High                             |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 I pushed 772b536efe59183858215b233d7464cf4608655a to the webwml repo on
 git-rw.torproject.org on Thursday but git.torproject.org is still on
 53dfbb59c7b095e7fe73e7a74e10d1d9418e1adc.

 This has the nasty consequence that Tor Browser users still think 6.5,
 7.0a1, and 7.0a1-hardened are still up-to-date as
 https://www.torproject.org/projects/torbrowser/RecommendedTBBVersions is
 apparently tied to git.torproject.org and does not get rebuilt when a new
 relevant commit lands on git-rw.torproject.org.

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