[tor-bugs] #32393 [Applications/GetTor]: GetTor's GitHub links are broken

[Tor Bug Tracker & Wiki]

#32393: GetTor's GitHub links are broken
---------------------------------+------------------------
 Reporter:  dcf                  |          Owner:  (none)
     Type:  defect               |         Status:  new
 Priority:  Medium               |      Milestone:
Component:  Applications/GetTor  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:  github               |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+------------------------

Comment (by cohosh):

 Gettor was recently moved to a new host and the repositories need to be
 set up again. Here are some steps I did this morning to set up the
 github/gitlab repositories on gettor-01:

 {{{
 $ sudo -u gettor -s git init
 $ sudo -u gettor -s git remote add github
 git at github.com:TheTorProject/gettorbrowser.git
 $ sudo -u gettor -s git remote add origin
 git at gitlab.com:thetorproject/gettorbrowser.git
 $ sudo -u gettor -s git fetch origin
 $ sudo -u gettor -s git fetch github
 }}}

 And then I ran the `update_files` script with `sudo -u gettor -s
 ./update_files` and received the following errors:
 {{{
 batch response: Your push has been rejected, because this repository has
 exceeded its size limit of 9.8 GB by 66 MB. Please contact your GitLab
 administrator for more information.
 error: failed to push some refs to
 'git at gitlab.com:thetorproject/gettorbrowser.git'
 batch response: This repository is over its data quota. Account
 responsible for LFS bandwidth should purchase more data packs to restore
 access.
 error: failed to push some refs to
 'git at github.com:TheTorProject/gettorbrowser.git'
 }}}

 So it seems that the script as it is currently written will not update the
 gitlab or github repos. This might be why we had an incomplete upload
 before.

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