diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2018-11-22 15:46:39 +0200 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2018-11-22 15:46:39 +0200 |
commit | 112de9b5d7491a18745ea605727236fc83617b14 (patch) | |
tree | 55bec1d47a0bd7eccad250e693a0345a97e5c6e7 /gitconfig-wmf | |
parent | a6cf162eb52411ac30a7c0d145fe397f60fc4e89 (diff) | |
download | liw-dot-files-112de9b5d7491a18745ea605727236fc83617b14.tar.gz |
Add: pushInsteadOf for WMF gerrit
Diffstat (limited to 'gitconfig-wmf')
-rw-r--r-- | gitconfig-wmf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gitconfig-wmf b/gitconfig-wmf index 351e7e1..da1a29c 100644 --- a/gitconfig-wmf +++ b/gitconfig-wmf @@ -12,3 +12,5 @@ ui = auto [push] default = simple +[url "ssh://liw@gerrit.wikimedia.org:29418/"] + pushInsteadOf = https://gerrit.wikimedia.org/r/ |