GitHub repository medium builtIn

Description

You can increase development velocity by enabling auto-merge for a pull request so that the pull request will merge automatically when all merge requirements are met. You should allow setting pull requests to merge automatically once all required reviews and status checks have passed. Waits for merge requirements to be met and then merges automatically. Learn more: https://docs.github.com/en/enterprise-cloud@latest/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request https://docs.github.com/en/enterprise-cloud@latest/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-auto-merge-for-pull-requests-in-your-repository

Recommendation

1. Go to Repository Settings. 
2. In the 'General' section of the sidebar, go to 'Pull Requests' section. 
3. Ensure the 'Allow auto-merge' setting is enabled.

Policy Rule

{
  "target": "GHRepository",
  "if": {
    "allOf": [
      {
        "resource": "GHRepository",
        "property": "AllowAutoMerge",
        "operator": "equals",
        "value": true
      }
    ]
  },
  "then": {
    "effect": "Audit"
  }
}