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.
> 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")
Fotis
ps.
(he he, we can do the opposite: make mirrors of all sources and pretend very
innocent, though :-)
--
echo "sysadmin know better bash than english" | sed s/min/mins/ \
| sed 's/better bash/bash better/' # Yelling in a CERN forum
