Skip to content

Merge the catalog pull request by its branch name - #54

Merged
ehsanhajian merged 1 commit into
mainfrom
merge-catalog-branch
Oct 19, 2026
Merged

ehsanhajian merged 1 commit into
mainfrom
merge-catalog-branch

Conversation

@ehsanhajian

Copy link
Copy Markdown
Owner

Summary

  • The refresh job stays checked out on main, so gh pr merge with no argument looks for a pull request of main and exits.
  • It now merges the catalog branch it just opened.

Test plan

  • CI passes
  • The next refresh run merges its own pull request

The refresh job stays on main, so a merge with no branch argument looks for a pull request that is not there.
@ehsanhajian
ehsanhajian merged commit 9b12292 into main Oct 19, 2026
4 checks passed
@ehsanhajian
ehsanhajian deleted the merge-catalog-branch branch October 19, 2026 16:50
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