RFC: migrating to git

[Johan Tibell]

On Mon, Jan 10, 2011 at 5:25 PM, Nils Anders Danielsson
<nad at 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