diff options
Diffstat (limited to 'production.ini')
-rw-r--r-- | production.ini | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/production.ini b/production.ini index ac4cf1ea..d7b44666 100644 --- a/production.ini +++ b/production.ini @@ -141,6 +141,15 @@ default_encoding = utf8 #clone_uri = {scheme}://{user}{pass}{netloc}{path} +## Linaro +## This is necessary to add a second clone URL entry to clone via git+ssh + +## This is am easier path to the git repositories, usually a symlink to them. +git_ssh_uri = /git + +## Values here are the same as above +#clone_uri_ssh = git+ssh://{user}{pass}{netloc}{git_ssh_uri}{path} + ## issue tracking mapping for commits messages ## comment out issue_pat, issue_server, issue_prefix to enable |