On Tue, Aug 27, 2013 at 09:42:37PM +0200, David Kastrup wrote: > Thomas Morley <thomasmorle...@gmail.com> writes: > > > Actually trying to push I followed CG and did > > > > git checkout staging > > git pull -r > > git merge dev/handle-grace > > Uh what? So much for stating that CG is our best reference.
The CG has at least 2, possibly as many as 5, different sets of instructions for how to use git. :( - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel