# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1699823988 -7200
# Node ID 50902745d28ca649e121306931c170d106362029
# Parent  865f28fee788e20b0273d4cdc8a552a297cca363
Moved git username to a separate file: .gitconfig.extra.

diff -r 865f28fee788 -r 50902745d28c .gitconfig
--- 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
diff -r 865f28fee788 -r 50902745d28c .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