Skip to content

issues Search Results · language:Dune language:Python language:Java language:JavaScript language:C# linked:pr language:HTML

Filter by

7M results  (336 ms)

7M results

What Add a new BuilderStats tile: Lines Authored — the cumulative count of every line ever added across all of git history, all repos. The lifetime-insertions sibling to the existing snapshot metric. ...

Fix the last image before the relight images by Elliot McSherry that cuts off awkwardly, and make the relight images show up under Elliot Mcsherry relight section between the two lines of his relight section. ...

What to build Make only feat and fix commits open a Release PR. By convention a documentation, chore, CI, or dependency change should not cut a new release on its own. Root cause (investigated). release-please ...
bug
ready-for-agent

Follow-up to #531/#536. On rooted devices, do the whole R3 onboarding silently — no manual taps. Why Android 11+ deliberately blocks one-tap user-CA trust, and many apps ignore user CAs entirely. Root ...
enhancement
security

From: :robot: Claude (claude-opus-4-8) Goal The bottom terminal-toolbar now places the soft-keyboard-toggle and drawer-toggle buttons compactly on a single row (good), but they still use text labels ...

Feature/Project Proposal I would like to propose adding Destination Explorer, an interactive travel discovery platform that helps users explore destinations from around the world through advanced search, ...
enhancement

c04 design benches (#353) show §3 gate FAIL on all 5 candidates at eager. eli s receipt named two walls (C-4 compile-break, C-3 Muon-NS dominance) but did not compute their JOINT effect on §3 feasibility. ...
first-principles

bug
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.