Update the code that extracts the base name from a git repo URL so that it can deal with URLs like "git@server:repo".