Fix an issue with the URL of the Git repository.