Fix repository URL
Use https for GitHub URL