[tor-bugs] #14835 [GetTor]: Script to upload Tor Browser to Github

Tor Bug Tracker & Wiki blackhole at torproject.org
Mon Feb 9 20:58:19 UTC 2015


#14835: Script to upload Tor Browser to Github
----------------------------------------------------+---------------------
 Reporter:  ilv                                     |          Owner:  ilv
     Type:  enhancement                             |         Status:  new
 Priority:  major                                   |      Milestone:
Component:  GetTor                                  |        Version:
 Keywords:  gettor, china, censorship, tor-browser  |  Actual Points:
Parent ID:  #14114                                  |         Points:
----------------------------------------------------+---------------------
 I have made a preliminary version of a script to upload Tor Browser to
 GitHub. This should be integrated with the work done in #14744, as it
 should be run after fetching the latest Tor Browser. After the Tor Browser
 files have been fetched, this script copy the files to a new directory
 called VERSION, where VERSION is the version of the latest Tor Browser.
 Then it commits and push the changes to GitHub, all of this done via
 system calls to git, and with the assumption that a GitHub repository has
 been previously created and synchronized in the machine that the script is
 executed. After that, the GitHub API is used to get the links of the files
 recently pushed and create a links file with that info.

 You can check a sample links file
 [https://github.com/ilv/gettor/blob/master/providers/github.links here]
 and the script bundles2github
 [https://github.com/ilv/gettor/blob/master/upload/bundles2github.py here].
 Please note that the uploaded files are plain text, so if you open the
 links you will only see raw text. A sample link for a binary file can be
 found [https://github.com/ilv/gettor/raw/master/upload/tor-browser-
 linux32-4.0.2_en-US.tar.xz here].

 In order to make the git commits and push without problems or user
 interaction, one should previously create a SSH key and link that key to
 GitHub. Similarly, to interact with the GitHub API without using basic
 credentials (user/pass), one should previously create a token in GitHub.
 For the tests I did a personal access token was enough.

 This was done for the purposes of #14114. Reviews welcome!

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


More information about the tor-bugs mailing list