Bruno Haible <br...@clisp.org> wrote: > Hi Jim, > > On 2008-10-13 you wrote: >> Does anyone object to my installing a server-side hook >> that would prevent pushing merge commits on master? >> In our experience here (with gnulib.git), pushing a merge >> commit is always unintentional. > > The one that I pushed today was unintentional again. Sorry about it. I > think I did a "git rebase origin/master", but maybe at the wrong moment.
Hmm... wondering why the commit hook didn't do it's job, I found that the hooks/update script was not executable, so was not running. Fixed now. Same problem with the one in idutils.git, but not coreutils.git. Considering I did them all at the same time, I wonder how that happened.
