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

D .github/mistaken-pull-closer.yml

@@ 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