Disable Merge pull request Button when PR is WIP on GitHub.