We have had several single-commit branches recently. Those appear in
the history just as "merge with master" and require additional work for
tracking the changes, worse so when the branchoff point is a long way
backwards.
So please make it a habit to do
git rebase origin
before doing
git push
unless the branch in question is not just private and has been pushed
elsewhere already.
You'll make life easier for you as well as your fellow developers.
--
David Kastrup
_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel
