ADDED   .github/mistaken-pull-closer.yml
Index: .github/mistaken-pull-closer.yml
==================================================================
--- /dev/null
+++ .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