Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If our approval made the PR mergeable (aka "clean status"), then enabling auto-merge fails. This should actually be the case often, but we usually succeed because we do the two actions so quickly. Presumably, GitHub's own state has not updated yet. Sometimes it does, and we see an error about it. Reversing the order of operations will produce the same outcome, but should guarantee the PR is not in clean status when we enable auto-merge (since it is waiting for our own Approve). Fixes #15.
- Loading branch information