File .github/mistaken-pull-closer.yml artifact fb0b90bc63 part of check-in 3af273af29
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