Please rebase local development on current master before pushing...

[David Kastrup]

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