Do nothing in post-receive hook when it's a local push
Document pre-receive hook