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.


Reply via email to