1 files changed, 8 insertions(+), 0 deletions(-)

A .github/mistaken-pull-closer.yml

@@ 0,0 1,8 @@
+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