On 06 Aug 2013, at 16:10, Fotis Georgatos wrote: > > Hi Jens, > > On Aug 6, 2013, at 3:01 PM, jens timmerman wrote: >> You do realise you don't need a tag in github, you can also use >> https://github.com/ekg/fastahack/archive/23c2b7176b601cf1b326a8e6b6817dc0ae6ce29c.tar.gz >> for any commit id. > > Ah, good point; I've used it in the past and maybe is the solution for > Rgputools, too! > > Luckily, with a versioned repo we have this nice feature; I'll see what I can > do with it.
This does seem a right solution for Rgputools, just use the (short) commit ID as a versionsuffix, and add a comment why we're doing it (because we know particular versions change code over time). Do you need to use the long commit ID in the download URL, or does it also work with the 5-6 character short-hand? > >> Another way would be to put everything on github, and use this for our >> mirroring, >> we can fork existing projects that are already on github, and upload sources >> from freely attributable software to some central repo. >> That is, we quickly need github support in easybuild then. :-p > > I recall reading somewhere that github is not meant for above 1GB unless you > ask permission etc. > The compilers already would exceed that or simply make it too clumsy. > For smaller bits though it might fly (but I still think of it, honestly, with > a "hm") Also: pushing binary stuff in a git repo isn't exactly how it's intended to be used. K.
