From d371c70b454935c787c237550bc21debab684f30 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Tue, 13 May 2025 08:11:36 +0200 Subject: [PATCH] docs/CONTRIBUTING: replace bors with mergify --- CONTRIBUTING.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 22e78dd4..63a147a7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -48,8 +48,6 @@ assurance is up to *you*. # For reviewers: -This repository has bors enabled for easier merging after a successfull build: +This repository has [mergify](https://mergify.com/) enabled for easier merging after a successfull build: -* `bors try` - check if the PR builds. -* `bors merge` - same as `bors try` but will also merge the PR if it builds successfully. -* https://bors.tech/documentation/ +* `@mergify queue` will add the current pull request to the merge queue and merge when all tests succeed