Не имея удаленного репозитория, только один локальный репозиторий с двумя ветвями.
$ git branch -a
master
* devel
Являются ли следующие команды в этом контексте тем же/синонимом?
$ git pull . master
и
$ git merge master
UPDATE:
$ git help pull
дает следующую информацию
SYNOPSIS
git pull <options> <repository> <refspec>...
DESCRIPTION
...
Note that you can use . (current directory) as the <repository> to pull
from the local repository — this is useful when merging local branches
into the current branch.
Я действительно не понимаю, почему это полезно, как указано в этой man-странице.