Commit graph

12 commits

Author SHA1 Message Date
ee8f0ac2fe Configure git for per-project identities 2020-03-31 10:27:50 +02:00
688e31c20c Make git head alias more verbose 2020-01-31 14:20:03 +01:00
eddbd382b8 Add git head alias 2020-01-30 10:34:49 +01:00
c317a06de5 Add git dog command 2020-01-19 13:14:13 +01:00
55fc2ed08f Clean git configuration
git ten was useless and the username/email settings are better off in
the local configuration
2020-01-08 15:23:09 +01:00
3b78fac2eb Fix mergetool 2019-09-24 09:15:25 +02:00
6ad0f8e55c Add gvimdiff as GUI difftool to gitconfig 2019-09-13 14:30:58 +02:00
b5568779f8 Set git difftool to prompt for every file
Otherwise accidentally diffing a range with many changed files requires
quitting lots of vim instances and leaves no time to abort in between.
2019-09-13 14:26:44 +02:00
0f069f08aa Change git difftool to vimdiff 2019-09-13 14:23:50 +02:00
9bec530c75 Change git editors from gvim to vim 2019-09-12 10:04:25 +02:00
ee35298a03 Add more stuff to gitconfig 2018-11-26 17:30:15 +01:00
4128670de2 Add gitconfig file
Can be included with

        [include]
          path = path/to/file

in local gitconfig.
2018-11-26 13:20:50 +01:00