"[email protected]" <[email protected]> writes: > I'll look into doing 1. Meanwhile, if someone can tell me how to push > changes to a remote branch (after having created the branch), I'd be > much obliged!
If it is a fast forward, just push like the initial push. If it is not, you can't push at all given the current repository settings. Instead you need to _delete_ the branch git push origin :dev/skyline and then push a fresh one git push origin HEAD:refs/heads/dev/skyline -- David Kastrup _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
