Flight Log / agentuity/docs #237

Hide method headers from 'On this page' sidebar in API reference docs — a Devin (Cognition) bot flight

The Devin bot (Cognition) opened this pull request in agentuity/docs on Jul 15, 2025; closed.

All agent flights in agentuity/docs · Devin flights

Not yet classifiedDevin flightsby Cognition ↗ attribution: AIDev dataset

Flown by @devin-ai-integration[bot]GitHub ↗— unclaimed

Lines
—
Files
—
Commits
—
Reviews
—
To merge
—

From the pull request description

# Hide method headers from 'On this page' sidebar in API reference docs ## Summary This PR implements filtering to hide method headers (like `methodName()`, `Class.method()`) from the "On this page" sidebar navigation while keeping them visible in the actual page content. The solution adds a `filt…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Cite this flight: AgentRiders Flight Log, agentuity/docs#237, record updated Nov 3, 2026, https://agentriders.com/logs/agentuity/docs/237/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.