pullrequests Search Results · language:Dune language:Python language:C# language:Java language:Java language:HTML
Filter by
127M results
blu3-bird
lat08Summary
find_pr_for_issue Strategy 3 (gh pr list --search Closes #N in:body ) returned the first hit unconditionally. GitHub s
full-text search is substring-based, so:
- Closes #1234 in a PR body matches ...
mvillmow
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]
:robot: I have created a release beep boop
0.4.0 (2026-05-31)
Features
- GitHub app installation token flow (2b4a8e4)
This PR was generated with Release Please. See documentation.
autorelease: pending
reponomics-dashboard-action-bot[bot]
PR 요약
git 코드 동기화 오류로 setter 추가했던 부분이 누락되어 서버에서 실행되지 않아 수정하였습니다.
chlwjd0803
TylerJang27Mayra-Lopez-Tecabix
bgilbertMerge dependencies
PR#229 needs to be merged before this
Summary
Adds a file-watch fallback to the grouping gate: editing target _grouping_plan.json in $EDITOR and saving triggers the
same apply_grouping ...
vishalghor