Re: master updated (18e7bc87521 -> c71a520d1da)

[Po Lu]

Robert Pluim <rpluim@gmail.com> writes:

> You can push a deletion of the feature branch, and then repush the
> rebased branch.

I don't think the 3 or 4 individuals tracking the feature/android branch
would have taken kindly to such a gesture.  (Not merging at all wasn't
an option either, since the branch saw active use.)

Can't the Git people fix this by excluding merge commits from merges
themselves, or something?