Default to excluding bot PRs in GitHub stats

lukasmasuch · cursoragent · lukasmasuch · commit 3716b665da7c · 2026-08-01T14:15:50.000+02:00
Flip the "Exclude Bot PRs" toggle default to on so bot-authored PRs are
excluded unless re-enabled in the UI or via `?exclude_bots=false`.

Co-authored-by: Cursor &lt;cursoragent@cursor.com&gt;
diff --git a/app/github_stats.py b/app/github_stats.py
@@ -124,12 +124,12 @@ def fetch_pr_metrics(merged_since: date, merged_until: date | None = None) -> pd
     )
 
     # Allow configuring the bot PR toggle via the `exclude_bots` query param
-    # (e.g. `?exclude_bots=true`).
+    # (e.g. `?exclude_bots=false`). Defaults to excluding bot PRs.
     exclude_bots_param = st.query_params.get("exclude_bots", None)
     default_exclude_bots = (
         str(exclude_bots_param).strip().lower() in {"true", "1", "yes", "on"}
         if exclude_bots_param is not None
-        else False
+        else True
     )
     exclude_bot_prs = st.toggle("Exclude Bot PRs", value=default_exclude_bots)
 

Original file line number	Diff line number	Diff line change
`@@ -124,12 +124,12 @@ def fetch_pr_metrics(merged_since: date, merged_until: date \| None = None) -> pd`
`124`	`124`	`)`
`125`	`125`
`126`	`126`	# Allow configuring the bot PR toggle via the `exclude_bots` query param
`127`		- # (e.g. `?exclude_bots=true`).
	`127`	+ # (e.g. `?exclude_bots=false`). Defaults to excluding bot PRs.
`128`	`128`	`exclude_bots_param = st.query_params.get("exclude_bots", None)`
`129`	`129`	`default_exclude_bots = (`
`130`	`130`	`str(exclude_bots_param).strip().lower() in {"true", "1", "yes", "on"}`
`131`	`131`	`if exclude_bots_param is not None`
`132`		`- else False`
	`132`	`+ else True`
`133`	`133`	`)`
`134`	`134`	`exclude_bot_prs = st.toggle("Exclude Bot PRs", value=default_exclude_bots)`
`135`	`135`