После прочтения этого я понял, что есть 3 способа упомянуть URL пульта вместе со спецификацией push и pull ref в случае, если они пропущены для git push / pull.
пульт в файле конфигурации Git: $ GIT_DIR / config,
файл в каталоге $ GIT_DIR / remotes или
файл в каталоге $ GIT_DIR / branch.
Каков порядок приоритетов среди них в случае возникновения конфликтующих значений?