"Phil Holmes" <m...@philholmes.net> writes: > I'm always a little nervous about simply deleting staging, although I > know this is the correct approach. David - could you give me the > commands needed to delete and recreate staging, please? (Private mail > if you don't want everyone to try this out).
Everyone does not have push access. Those that have will hopefully know better than to do crazy experiments. First do something like git fetch git log -3 origin/staging to be really, really sure what commit you want to have in staging rather than the one that currently is there, and that you are sure that you will only lose your own commit and nothing else. Then do git push origin :staging git push origin commit-id-that-you-actually-wanted:refs/heads/staging The first line deletes the staging branch, the second reestablishes it. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel