Johannes Schindelin skrev:
However, in your particular case I would just "git pull origin <branch>" where <branch> is the branch you actually want to merge.
Thanks! :-) -Rune _______________________________________________ lilypond-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/lilypond-devel
