Fix repo URL

Make it work for people without a github account.