chore(docs): remove legacy documentation and unused PR workflow file
This commit is contained in:
2
.github/pull.yml
vendored
2
.github/pull.yml
vendored
@@ -1,2 +0,0 @@
|
||||
version: "1"
|
||||
rules: []
|
||||
Reference in New Issue
Block a user