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. _______________________________________________ Bug-coreutils mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-coreutils
