Replace bad HTTPS link with HTTP one
Make sure GitHub is updated with svn-push