Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Make it work with detached heads and historical builds.
Previously a detached head broke the build, and trying to
git checkout master; git reset --hard sbcl-1.0.50; sh make.sh
got the version number wrong.