diff options
author | Timo Wilken | 2023-02-16 22:51:06 +0100 |
---|---|---|
committer | Timo Wilken | 2023-02-16 22:51:06 +0100 |
commit | 8750e34390894eff23b22417c28ef4dd0b1ad54b (patch) | |
tree | af9c009663a9c69ac5df3847e9d4da8d1f97fb8f /tw/home | |
parent | e924bf8c2abbc2d1371a5cb628ef500d5b66c99d (diff) |
Set up common work gitconfig
Diffstat (limited to 'tw/home')
-rw-r--r-- | tw/home/files/gitconfig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tw/home/files/gitconfig b/tw/home/files/gitconfig index dbca695d..51e60054 100644 --- a/tw/home/files/gitconfig +++ b/tw/home/files/gitconfig @@ -5,6 +5,9 @@ signingkey = 53EC3C06856883DD92355BC22FC78504681F69B0 [commit] gpgsign = true +# For work repos, include the gitconfig that sets up my work identity. +[includeIf "gitdir:~/src/alice/"] + path = ~/src/alice/.gitconfig [url "https://"] insteadOf = git:// [url "ssh://git@gitlab.cern.ch:7999/"] @@ -40,4 +43,4 @@ [difftool "kitty"] cmd = kitty +kitten diff $LOCAL $REMOTE [difftool "kitty.gui"] - cmd = kitty kitty +kitten diff $LOCAL $REMOTE
\ No newline at end of file + cmd = kitty kitty +kitten diff $LOCAL $REMOTE |