I've just noticed that I pushed a useless merge commit last week. Not a big deal, but I prefer not to do that, so have installed my server-side hook that prevents pushing merge commits to master.