We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 754b7f3 commit e8208edCopy full SHA for e8208ed
docs/design.md
@@ -1,7 +1,7 @@
1
# Bors design
2
-This document briefly describes does the bors bot work.
+This document briefly describes how the bors bot work.
3
4
-`bors` is a binary that launches (an `axum`) web server, which listens on a `/github` endpoint for webhooks related to a
+`bors` is a binary that launches an `axum` web server, which listens on a `/github` endpoint for webhooks related to a
5
GitHub app attached to the bot. Once a webhook arrives, and it passes a filter of known webhooks, it is converted to
6
a `BorsEvent` and passed to a command service that executes it.
7
0 commit comments