[tor-dev] Where are the GetTor downloads (e.g. GitHub)?

[David Fifield]

Someone IRL asked me about mirrored downloads of Tor Browser on services
like GitHub. I know that such services are planned (or already
implemented?) for GetTor, and I know about these tickets:

	Integrate cloud services that are not blocked in mainland China
	https://bugs.torproject.org/14114

	Automate upload of latest Tor Browser to cloud services
	https://bugs.torproject.org/14744

	Script to upload Tor Browser to Github
	https://bugs.torproject.org/14835

My question is, is there a static URL on GitHub or similar that has the
latest downloads? That is, one that people can access even without
having used GetTor? Such a URL would be more useful than a typical
mirror for many users.

I was referred to Lantern's GitHub download page for comparison:
https://github.com/getlantern/lantern/releases/tag/latest
It has direct links to downloads under githubusercontent.com:
https://raw.githubusercontent.com/getlantern/lantern-binaries/master/lantern-installer.exe
https://raw.githubusercontent.com/getlantern/lantern-binaries/master/lantern-installer.dmg
https://raw.githubusercontent.com/getlantern/lantern-binaries/master/lantern-installer-64.deb