[email protected] writes: > Comment #19 on issue 1266 by [email protected]: Dots in chords can not > be moved > http://code.google.com/p/lilypond/issues/detail?id=1266 > > Hello, Yes I can do that - I need to get into the habit of the new workflow. > > Can I just check the command I need to use is: > > git push origin dev\staging > > and that is it - I don't want to break anything with my push access. > > Eg. I don't need to download a new repo just for dev/staging do I, I > can just push from my own lilypond-git repo to dev/staging?
The command you need to use to push from HEAD is git push origin HEAD:refs/heads/dev/staging For some reason, sometimes the full ref on the right hand side is required (probably when your repository does not know about staging and/or you just deleted it). You can't break anything in that manner: git will refuse to do anything that is not an incremental addition to staging. So dev/staging should not be in a worse logical state than before, if your HEAD looks reasonable. Unfortunately, our repository is configured in a manner that you can't convince git when an incremental addition is not possible (like when there has been diverging stuff on master you want to rebase into staging). Instead you need to delete and rewrite dev/staging. Deleting it is done by doing the same push command, just without "HEAD" before the colon. But before you _rewrite_ dev/staging, better ask again. -- David Kastrup _______________________________________________ bug-lilypond mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-lilypond
