On 2011-01-10 16:39, Daniel Peebles wrote: > (especially if it lived on github) 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/). -- /NAD