misc/git-hooks: take only pushes to master on pre-receive hooks