Manage multiple competing statuses for pull requests on GitHub