2015-07-18 19:05 GMT+02:00 Federico Bruni <[email protected]>: >> $ git push origin HEAD:staging > > That's probably how I would like to work (so I don't need the patch file). > `git fetch` fetches implicitly from a particular branch? > > What's the purpose of HEAD:staging?
moves the branch on remote to your recently pushed HEAD, so all following pulls/fetches by anybody will see an updated staging. p _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
