Thanks to GitHub’s generous educational discount, I’ve moved the Pipe Dream repository to GitHub. Until now we hosted the private repository on our Linode VPS, but GitHub offers great user management, a nice user interface, a built-in wiki, and a fantastic issue tracker.
The transition was smooth and took minutes. And after a little bit of fiddling with Capistrano’s config file, deployment is now working better than ever!
GitHub offers free private repositories to students and student groups. Sign up if you haven’t already!