Skip to content

Use github cli to checkout to fork repo branches.#22

Merged
mbaruh merged 1 commit into
mainfrom
fixup-blocker-failing-in-forks
Aug 16, 2023
Merged

Use github cli to checkout to fork repo branches.#22
mbaruh merged 1 commit into
mainfrom
fixup-blocker-failing-in-forks

Conversation

@shtlrs
Copy link
Copy Markdown
Contributor

@shtlrs shtlrs commented Aug 13, 2023

The workflow that blocks fixup commits fails when a pull request is issued from a fork.
That is due to the fact that when using the checkout action, it defaults to the base repo and not the fork's, which makes the fork's branch unkown.

The solution we went with is to checkout to the base repo, and use gh cli to checkout to the pull_request's HEAD.

The rest remains the same.

@shtlrs shtlrs force-pushed the fixup-blocker-failing-in-forks branch from f3a78e2 to 3e63963 Compare August 13, 2023 15:43
@mbaruh mbaruh merged commit c7fc953 into main Aug 16, 2023
@ChrisLovering ChrisLovering deleted the fixup-blocker-failing-in-forks branch August 16, 2023 09:46
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.

3 participants