Skip to content

Fix dev→main PR workflow head filter and null body guard#31

Merged
joefarrelly merged 1 commit into
devfrom
fix/dev-to-main-pr-head
Jun 18, 2026
Merged

Fix dev→main PR workflow head filter and null body guard#31
joefarrelly merged 1 commit into
devfrom
fix/dev-to-main-pr-head

Conversation

@joefarrelly

Copy link
Copy Markdown
Owner

Fixes the dev-to-main-pr.yml workflow to match the corrected version from other repos:

  • Remove --head "${OWNER}:dev" (owner-prefixed head filter was preventing the existing PR from being found) — use plain --head dev
  • Remove now-unused OWNER variable
  • Add // "" null fallback in jq body extraction to avoid failures on a new empty PR
  • Add -e flag to grep for safer pattern matching

@joefarrelly joefarrelly merged commit e2f5502 into dev Jun 18, 2026
2 checks passed
@joefarrelly joefarrelly deleted the fix/dev-to-main-pr-head branch June 18, 2026 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant