Skip to content

Various fixes and improvements to the bulk-pr scripts - #130

Merged
lfrancke merged 1 commit into
mainfrom
fix/bulk-pr-scripts
Aug 19, 2026
Merged

Various fixes and improvements to the bulk-pr scripts#130
lfrancke merged 1 commit into
mainfrom
fix/bulk-pr-scripts

Conversation

@lfrancke

Copy link
Copy Markdown
Member
  • All scripts now also work when not called from within the bulk-pr directory
  • pr_status always reported 0, whatever the checks did - it read the exit code of "set -e" instead of the one from gh
  • pr_close compared strings with -eq, which is an arithmetic comparison, so every PR looked OPEN
  • All scripts would abort if a repo had no PR - the proper handling of that is moved to a new "common" file
  • Closing a PR also deletes the old branches

- All scripts now also work when _not_ called from within the bulk-pr directory
- pr_status always reported 0, whatever the checks did - it read the exit code of "set -e" instead of the one from gh
- pr_close compared strings with -eq, which is an arithmetic comparison, so every PR looked OPEN
- All scripts would abort if a repo had no PR - the proper handling of that is moved to a new "common" file
- Closing a PR also deletes the old branches
@lfrancke lfrancke self-assigned this Aug 18, 2026
@lfrancke lfrancke moved this to Development: Waiting for Review in Stackable Engineering Aug 18, 2026
@dervoeti
dervoeti self-requested a review August 19, 2026 13:21
@dervoeti dervoeti moved this from Development: Waiting for Review to Development: In Review in Stackable Engineering Aug 19, 2026
@lfrancke
lfrancke added this pull request to the merge queue Aug 19, 2026
Merged via the queue into main with commit 5a2b91e Aug 19, 2026
1 check passed
@lfrancke
lfrancke deleted the fix/bulk-pr-scripts branch August 19, 2026 13:45
@lfrancke lfrancke moved this from Development: In Review to Development: Done in Stackable Engineering Aug 19, 2026
@lfrancke lfrancke moved this from Development: Done to Done in Stackable Engineering Aug 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants