diff --git a/RULESET-LITMUS-TEST.md b/RULESET-LITMUS-TEST.md deleted file mode 100644 index cc029d20..00000000 --- a/RULESET-LITMUS-TEST.md +++ /dev/null @@ -1,8 +0,0 @@ - - - -# Ruleset litmus test — DO NOT MERGE - -Temporary throwaway PR to observe whether a normal green PR reaches a -mergeable (CLEAN) state after pruning the structurally-unsatisfiable -"Base" ruleset rules. This file and its branch will be deleted.