Thanks for adding the info about .git/config
[push]
default = matching
to the CG, Patrick! Bloody git developers and their bloody
inconsistent commands / setup requirements...
Git gurus: could this config-file modification be avoided if we
use
git push origin/master
? or using git push --all ?
(as an aside, Patrick, I may remove the comment about the man page
in the near future; IMO, we should mention the official git docs
and the beginning and/or end of our git section, but otherwise
avoid it. That will reduce the amount of text in there.)
Cheers,
- Graham
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
