[tor-bugs] #32480 [Applications/GetTor]: Use Github/Gitlab releases to distribute gettor binaries

[Tor Bug Tracker & Wiki]

#32480: Use Github/Gitlab releases to distribute gettor binaries
---------------------------------+------------------------------
 Reporter:  cohosh               |          Owner:  cohosh
     Type:  defect               |         Status:  needs_review
 Priority:  Medium               |      Milestone:
Component:  Applications/GetTor  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:  github, releases     |  Actual Points:  1
Parent ID:                       |         Points:  1
 Reviewer:  phw                  |        Sponsor:
---------------------------------+------------------------------
Changes (by cohosh):

 * status:  merge_ready => needs_review
 * actualpoints:  .5 => 1


Comment:

 Replying to [comment:12 phw]:
 > How about we make the script more robust by making it re-attempt failed
 downloads and uploads two or three times? We may still have to fix issues
 manually on occasion but I would expect this to eliminate the majority of
 transient issues.

 Yeah that sounds like a good idea. I made another commit to do this:
 https://dip.torproject.org/cohosh/gettor/commit/6aa7e2b2eda363134b572306474e7d646d747315

 This commit also fixes a problem I had where github returns a server error
 when you try to delete a large release. I changed it so that it removes
 each release asset one-by-one first and then deletes it and this seems to
 have solved the problem.

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