Moved git username to a separate file: .gitconfig.extra.
--- a/.gitconfig Sun Nov 12 16:48:31 2023 +0200
+++ b/.gitconfig Sun Nov 12 23:19:48 2023 +0200
@@ -1,9 +1,5 @@
# -*- mode: conf -*-
-[user]
-name = Oleksandr Gavenko
-email = gavenkoa@gmail.com
-
[alias]
br = branch
ci = commit
@@ -61,3 +57,5 @@
[rerere]
# Reuse Recorded Resolution. Keeps database of manually resolved conflicts.
enabled = true
+
+# [user] section is in .gitconfig.extra
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/.gitconfig.extra Sun Nov 12 23:19:48 2023 +0200
@@ -0,0 +1,4 @@
+
+[user]
+name = Oleksandr Gavenko
+email = gavenkoa@gmail.com