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


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


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]