Git игнорирует настройку credential.helper

В течение нескольких месяцев мне приходилось вводить свои учетные данные каждый раз, когда я хочу нажать или вытащить из GitHub. Я пробовал несколько разных помощников по учетным данным, но все они молча терпят неудачу.

Я считаю, что нашел ключ к пониманию того, почему:

$ git config --add credential.helper fakecredentialhelper
$ git pull
Введите ключевую фразу для ключа '/path/to/my/ssh_key': 
Уже в курсе.

Согласно документации, Git принимает любое значение для credential.helper и пытается запустить эту программу. Но fakecredentialhelper не существует, то есть Git должен получить такой результат:

$ git credential-fakecredentialhelper --file = / mnt / shared / creds get
git: 'credential-fakecredentialhelper' не является командой git. Смотрите "git --help".

Но зовет git pull успешно без жалоб, то есть Git даже не пытался запустить его. Я ввожу свои учетные данные; почему Git пропускает credential.helper?

Или Git глотает ошибку?

^{Ubuntu 18.04.1 LTS
Git 2.17.1}