Fix the git repo URL for hsenv