From 0cbd9c0744fe33ca7873c394b63a24ab756e8440 Mon Sep 17 00:00:00 2001
From: "Eric T. Johnson" <eric.t.johnson@stonybrook.edu>
Date: Fri, 10 May 2024 16:58:16 -0400
Subject: [PATCH] Remove mergeable config file

---
 .github/mergeable.yml | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 .github/mergeable.yml

diff --git a/.github/mergeable.yml b/.github/mergeable.yml
deleted file mode 100644
index 0fa8986004..0000000000
--- a/.github/mergeable.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-# config file for mergeable: https://github.com/mergeability/mergeable
-version: 2
-mergeable:
-  - when: pull_request.*
-    validate:
-      - do: title
-        must_exclude:
-          regex: ^\[?WIP\b
-          message: "WIP pull requests can't be merged."
-      - do: label
-        must_include:
-          regex: 'bug|enhancement|new feature|docs|infrastructure|dead code|refactor'
-          message: "Please label this pull request with one of: bug, enhancement, new feature, docs or infrastructure."