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.
Cheers, Andy -- http://wingolog.org/