3.4. 启用将用户用于与 git 不同的 SSH URL

在以前的版本中，严格验证会阻止从 URL 创建工作区，如 user1@repository.example.com:/home/user1/repositories/myrepo.git。这个版本解决了这个缺陷。