I'm just trying to push a single commit on master.
--
Phil Holmes
----- Original Message -----
From: Bertrand Bordage
To: Phil Holmes
Cc: lilypond-devel@gnu.org ; David Kastrup
Sent: Thursday, September 22, 2011 1:13 PM
Subject: Re: Problem with git push
You can specify what you want to push:
git push --dry-run origin [hash]:[branch]
This will push every commit between [hash] and origin, assuming we stay in
[branch].
Bertrand
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
