diff options
| author | kumvijaya <kumvijaya@gmail.com> | 2025-09-24 22:52:32 +0530 |
|---|---|---|
| committer | kumvijaya <kumvijaya@gmail.com> | 2025-09-24 22:52:32 +0530 |
| commit | b10133f5bdc644420866018e2795e07522578785 (patch) | |
| tree | e7eec16fb3c86e16aea15bb401026ce0b5f0cfe1 | |
| parent | 1c02b74d680d40373df152d4302b4387db874b0f (diff) | |
| download | vyos-1x-b10133f5bdc644420866018e2795e07522578785.tar.gz vyos-1x-b10133f5bdc644420866018e2795e07522578785.zip | |
T7748: using mergify rule to handle conflict checks for private repo
| -rw-r--r-- | .mergify.yml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/.mergify.yml b/.mergify.yml deleted file mode 100644 index 635cb9e97..000000000 --- a/.mergify.yml +++ /dev/null @@ -1,25 +0,0 @@ -# pull_request_rules: -# - name: merge automatically when CI passes and PR is approved -# conditions: -# - conflict -# actions: -# comment: -# message: Your PR is in conflict, {{author}}. You should fix it. - -pull_request_rules: - - name: Label conflicting pull requests - description: Add a label to a pull request with conflict to spot it easily - conditions: - - conflict - - '-closed' - actions: - label: - toggle: - - conflict - - - name: comment when a pull request is merged - conditions: - - merged - actions: - comment: - message: Thank you for your contribution @{{author}}! Your pull request has been merged. |