fix grammar

marcoieni · web-flow · commit 3c33a376c07e · 2024-08-29T10:51:32.000+02:00
diff --git a/docs/design.md b/docs/design.md
@@ -1,5 +1,5 @@
 # Bors design
-This document briefly describes how the bors bot work.
+This document briefly describes how the bors bot works.
 
 `bors` is a binary that launches an `axum` web server, which listens on a `/github` endpoint for webhooks related to a
 GitHub app attached to the bot. Once a webhook arrives, and it passes a filter of known webhooks, it is converted to
