Re: savannah back

[Neil Jerram]

Andy Wingo <address@hidden> writes:

> Hey all,
>
> Savannah is back, with a backup of our Git repo from one month ago. I
> pushed master and syncase-in-boot-9; when you pull, you should get
> normal fast-forward updates. But other branches that changed in the last
> month (string_abstraction, string_abstraction2, Daniel's brainfuck
> compiler) will need to be pushed again. So Mike and Daniel, just run a
> git fetch; git push and things should be fine.

Yay DVCS!  Thanks to Ludo once again for moving us from CVS to Git.

(We also have some old stuff still in CVS, but it looks like we're OK
there too, as there is a valid backup from 20090429.)

Regards,
        Neil