On Thu, Nov 10, 2011 at 11:56:30PM +0100, David Kastrup wrote: > Let's take the "David, I tested dev/staging at commit 43214314xxxxxx, > and it's fine" mail scenario.
David, I ran Patchy, and it built commit cd229915fc873fdb6fd0125827452cb0ba0067a7 and it's fine. Patchy has printed out the ----- push merge: (do this manually for debugging/testing) git push origin HEAD:master ----- message, but will let you do the actual pushing if you agree that cd229915fc873fdb6fd0125827452cb0ba0067a7 was the right thing to test. - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel