"Phil Holmes" <m...@philholmes.net> writes: > ----- Original Message ----- > From: "David Kastrup" <d...@gnu.org> > To: <lilypond-devel@gnu.org> >> >> We use the staging branch exactly to avoid having to revert stuff. >> Instead we reset staging. Only stuff that percolated to master needs to >> get reverted in order to remove it. >> >> -- >> David Kastrup > > What's the syntax to do that, please?
git push origin :staging (deletes the current staging branch) git push origin whatever_committish:refs/heads/staging whatever_committish is the commit you want to end up as staging instead of the previous one. The previous staging branch is lost. You better know what you are doing. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel