On Sun, Jan 15, 2012 at 11:12:49PM +0000, carl.d.soren...@gmail.com wrote:
> Yes, but I wouldn't leave it in that state.  The full set of commands is
> 
> git rebase origin/staging dev/cg~0
> git push origin HEAD:staging
> git checkout dev/cg

LGTM

> At this point, you have pushed dev/cg to staging without polluting
> dev/cg with staging.  And you can continue to rebase dev/cg with master
> as needed/desired.  You never have to worry about accidentally putting
> some reverted commit back into staging.  It's completely foolproof.

+1

> The examples for the guide are intended to be copy and pastable, not
> necessarily to teach how to use git in general.  Working commands that
> do what we want should be preferred to commands that require a developer
> to follow through some steps and make it right.

+10

- Graham


_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to