[tor-bugs] #2380 [Development Progress]: https clones broken for some repositories

[Tor Bug Tracker & Wiki]

#2380: https clones broken for some repositories
-----------------------------------+----------------------------------------
  Reporter:  Sebastian             |       Owner:  Sebastian
      Type:  defect                |      Status:  closed   
  Priority:  major                 |   Milestone:           
 Component:  Development Progress  |     Version:           
Resolution:  fixed                 |    Keywords:           
    Parent:                        |  
-----------------------------------+----------------------------------------
Changes (by Sebastian):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Looks like one file didn't get synced right from cupani to jepsonii. A
 quick check of a few randomly selected repositories didn't reveal any
 other issues. Not sure how it did happen. If this happens again, we should
 more closely inspect our sync process

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