pullrequests Search Results · language:Dune language:Python language:JavaScript language:CSS language:Java is:unmerged
Filter by
78.5M results
PR-B of the polish round. Three smaller wins.
/places/ — overview map moves from sticky sidebar to a full-width landscape banner above the alphabet index. European
geography reads better in landscape ...
bsesic
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
pull[bot]
Summary
- Softens the adjacent closest-pair checker claim-scope wording from proves only to checks only.
- Keeps the recently merged structural lemma intact while making the executable audit description ...
davidiach
Troca o carregamento direto do JSON pelo uso da API /api/course/index e /api/course/module para garantir os 30 módulos
normalizados.
natanrocha2672-droid
Updated Sass compiler binaries.
action: merge
angular-robot
Automated E2E test PR - will be cleaned up automatically
mobbcitestjob
Summary
- Phase prompts fully rewritten (remove old Rust-spawner TASK_BEAD_ID/GC_CITY_PATH blocks)
- ci.md + review.md phase files added
- All 11 inline phasePrompts → loadPhasePrompt()
- assertDiscoverValid() ...
matt-metivier
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Summary
Run-3 maintenance pass on chore/maintenance-2026-06-08. 6 commits. 30 consecutive zero-issue verification passes ended
the loop (well under the MAX_PASSES=50 cap).
What changed
Security
- ...
thekaveh
This PR was automatically generated by a GitHub App bot.
coderoi-dev[bot]