Merge GitHub pull request when CI passes. Contribute to ubiregiinc/pull-request-conditional-merge development by creating an account on GitHub.