Sun, 12 Nov 2023 23:19:48 +0200 Moved git username to a separate file: .gitconfig.extra.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sun, 12 Nov 2023 23:19:48 +0200] rev 1027
Moved git username to a separate file: .gitconfig.extra.
(0) -1000 -300 -100 -30 -10 -1 +1 +10 tip