fix(#2377): doc_markdown + too_many_lines clippy lints

- Backtick-quote `pull_request` in doc comments (4x doc_markdown)
- Add #[allow(clippy::too_many_lines)] to server::dispatch (101/100;
  +1 line from submit_kind fetched_sha param in 5dd0a36f)
This commit is contained in:
atlas 2026-07-11 11:05:42 +02:00 committed by mara
commit 18e7c406b0
3 changed files with 5 additions and 4 deletions

View file

@ -295,7 +295,7 @@ pub async fn ensure_all() {
}
}
/// Ensure a Forgejo pull_request org-webhook for `agent-configs` exists and
/// Ensure a Forgejo `pull_request` org-webhook for `agent-configs` exists and
/// points at hive-c0re's `/webhook/config-pr` endpoint. Idempotent — lists
/// existing hooks first and skips creation when one is already targeting the
/// correct URL. `dashboard_port` is the TCP port hive-c0re's dashboard listens