Rename git_domain to git_host

This commit is contained in:
allegroai
2020-10-05 11:25:03 +03:00
parent 6e54e55c31
commit 6cbfb96ff8
4 changed files with 5 additions and 4 deletions

View File

@@ -13,6 +13,7 @@
# leave blank for GIT SSH credentials (set force_git_ssh_protocol=true to force SSH protocol)
# git_user: ""
# git_pass: ""
# git_host: ""
# Force GIT protocol to use SSH regardless of the git url (Assumes GIT user/pass are blank)
force_git_ssh_protocol: false