Merge branch 'master' into wsr

2023-03-05 15:07:21 +01:00 · 2023-03-05 15:07:21 +01:00 · 0d49086578
parent 7615a2b46d 1db95b2996
commit 0d49086578
1 changed files with 7 additions and 0 deletions
--- a/.gitconfig
+++ b/.gitconfig
@ -15,3 +15,10 @@
        # nothing is inconvenient, matching is dangerous. 
        # current is only compatible remaining option.
 	default = current
+[color "diff"]
+        # Display commit ids blue on white.
+        # Default is yellow on normal which is unreadable with a light
+        # background
+	commit = blue white
+[pull]
+	rebase = false