You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/design.md
+84Lines changed: 84 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -113,6 +113,90 @@ the branch to parent, and then again after merging the PR commit).
113
113
114
114
Note that `automation/bors/try-merge` should not have any CI workflows configured! These should be configured for the `automation/bors/try` branch instead.
115
115
116
+
## Auto builds
117
+
The merge queue is an automated system that processes approved pull requests and merges them into the base branch after
118
+
ensuring they pass all CI checks. PRs are approved using the `@bors r+` command and then "queued" automatically.
119
+
120
+
Here is a sequence diagram that describes what happens when a PR is approved and enters the merge queue:
0 commit comments