reduce-historical: mistaken-pull-closer.yml at [e1a8550313]

File .github/mistaken-pull-closer.yml artifact fb0b90bc63 part of check-in e1a8550313

filters:
  - true
commentBody: |
  Thanks for your contribution!  Unfortunately, we don't use GitHub pull
  requests to manage code contributions to this repository.  Instead, please
  see the [REDUCE Homepage](https://reduce-algebra.sourceforge.io/) for details
  on how to get involved with REDUCE.
addLabel: false