You can specify what you want to push: git push --dry-run origin [hash]:[branch]
This will push every commit between [hash] and origin, assuming we stay in [branch]. Bertrand
_______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
