binary downloads from github

[David Nadlinger]

On Saturday, 24 August 2013 at 09:45:02 UTC, Rikki Cattermole 
wrote:
> Just a thought but github does provide pages and cdn backing 
> them.
> We could move e.g. our documentation as well as downloads there 
> to save cost and increase download speed.

The GitHub TOS don't allow hosting large binaries in repositories 
(which one would have to do in order to use Pages).

David