ignore post-merge hook if it was called by a 'git pull'