On 2012-12-13 10:01, Walter Bright wrote: > I thought we had that with github, but then they disabled downloads. Yeah, we _had_, they just removed it: https://github.com/blog/1302-goodbye-uploads -- /Jacob Carlborg