Update the remote for the git clone

The existing git clone works fine but it causes problems if you use external
tools like [hub](https://hub.github.com/) as they do not get repo alias.