On Mon, Jan 10, 2011 at 5:25 PM, Nils Anders Danielsson <n...@cs.nott.ac.uk> wrote: > Even if GitHub is used you should probably arrange some other kind of > backup solution, because GitHub reserves the right to delete your > repository "for any reason at any time" (http://help.github.com/terms/).
If that would ever happen (probably less likely than someone breaking into our own machine and deleting the repo) we could take a repo from anyone's machine and put it on any old Linux machine. Go distributed version control! Johan _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
