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. Bruno
