diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-21 15:34:55 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-10-21 15:34:55 +0200 |
commit | 225288efe274ffe86433fcba0ece6c9031f98093 (patch) | |
tree | 7a715deec9f5f298ce650348036d391c31021023 /gitconfig | |
parent | 507951ed8760bf38bc34761dfcb27cddc704e782 (diff) |
Recent improvements
Diffstat (limited to 'gitconfig')
-rw-r--r-- | gitconfig | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -11,3 +11,6 @@ pager = less -S [merge] tool = vimdiff +[url "git@salsa.debian.org:"] + pushInsteadOf = https://salsa.debian.org/ + insteadOf = salsa: |