run-reduce/.github/mergeable.yml

version: 2
mergeable:
  - when: pull_request.opened
    name: "Greet a contributor"
    validate: []
    pass:
      - do: comment
        payload:
          body: >
            Thanks for your contribution!  Unfortunately, we don't use GitHub pull requests to manage code contributions to this repository.  Instead, please visit the upstream repository [github.com/fjwright/Run-REDUCE](https://github.com/fjwright/Run-REDUCE).
      - do: close