Где хранится мой псевдоним git?

У меня есть псевдоним, который я не могу найти. Ввод git help subaddvimдает мне:

`git subaddvim' is aliased to `log HEAD'

Кажется, я определил это так:

git config --local alias.subaddvim 'log HEAD'

Я просмотрел $repo_path/.gitconfig, ~/.gitconfig, /etc/gitconfig, но ни в одной из них нет записи subaddvim.

Где еще я могу посмотреть?