In assenza di repository remoto, un solo repository locale con due rami.Differenza tra tirare Git. master vs git merge master
$ git branch -a
master
* devel
stanno seguendo i comandi in questo contesto stesso/sinonimo?
$ git pull . master
e
$ git merge master
UPDATE:
$ git help pull
dà seguenti informazioni
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.
Io in realtà non capisco perché questo è utile, come indicato in questa pagina di manuale.
no git-merge - Unisci due o più storie di sviluppo insieme. E git-pull - Recupera e fonde con un altro repository o un ramo locale – cptnk