DELETED .github/mistaken-pull-closer.yml
Index: .github/mistaken-pull-closer.yml
==================================================================
--- .github/mistaken-pull-closer.yml
+++ /dev/null
@@ -1,8 +0,0 @@
-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