.gitconfig.extra
Sun, 12 Nov 2023 23:19:48 +0200 Oleksandr Gavenko Moved git username to a separate file: .gitconfig.extra.
less more (0) tip