diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull.yml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.github/pull.yml b/.github/pull.yml deleted file mode 100644 index 8238ed5df..000000000 --- a/.github/pull.yml +++ /dev/null @@ -1,5 +0,0 @@ -version: "1" -rules: - - base: current - upstream: vyos:current # change `wei` to the owner of upstream repo - mergeMethod: hardreset |