FYI: I've pushed a few maint changes, and...

[Jim Meyering]

I mistakenly pushed a merge commit!
That was in spite of a hook that was supposed to prevent that.
However, now I see that the hook looked only at the first
in the series of pushed change sets when guarding against
merge commits, and I'd pushed 3 at once, with the first
being a regular commit and the second a merge commit.

Will adjust.