Moved git username to a separate file: .gitconfig.extra.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Sun, 12 Nov 2023 23:19:48 +0200
changeset 1027 50902745d28c
parent 1026 865f28fee788
child 1028 20761b40404f
Moved git username to a separate file: .gitconfig.extra.
.gitconfig
.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