Artifact f0d3389fbd04d6c00f2f98f80c0a2eef393316725cfa10a55619bfa749bfe9c9:

• File .github/mergeable.yml — part of check-in [8e51b777fc] at 2021-03-01 03:32:17 on branch trunk — multi: Configure GitHub-specific applications.

  Add: .github/issue-close-app.yml: Close issues.
  Add: .github/mergeable.yml: Close pull requests. (user: jeff@gridfinity.com, size: 620) [annotate] [blame] [check-ins using] [more...]

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 see the [GRG Homepage](https://reduce-algebra.sourceforge.io/grg32/grg32.php), the [REDUCE Homepage](https://reduce-algebra.sourceforge.io) or the [REDUCE Support Page](https://sourceforge.net/projects/reduce-algebra/support) at Sourceforge for details on how to report a bug."
      - do: close