Skip to content

Commit 482a5d9

Browse files
committed
docs/CONTRIBUTING: replace bors with mergify
1 parent 0b06acb commit 482a5d9

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

CONTRIBUTING.md

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -49,8 +49,6 @@ assurance is up to *you*.
4949

5050
# For reviewers:
5151

52-
This repository has bors enabled for easier merging after a successfull build:
52+
This repository has [mergify](https://mergify.com/) enabled for easier merging after a successfull build:
5353

54-
* `bors try` - check if the PR builds.
55-
* `bors merge` - same as `bors try` but will also merge the PR if it builds successfully.
56-
* https://bors.tech/documentation/
54+
* `@mergify queue` will add the current pull request to the merge queue and merge when all tests succeed

0 commit comments

Comments
 (0)