That post makes it clear:
Add the following to the .gitconfig file in your $HOME directory.
That means $HOME/.gitconfig
(e.g. /home/felipec/.gitconfig).
But precisely for this reason is why the --edit
option was added:
git config --global --edit
Now you don't have to know or care where is the file, just edit it.