Add note about using `git commit --allow-empty` for closing pull requests