git.to - URL shortener!

Sorry, we're not setting any new URLs, but we'll continue to redirect old ones.