ID='XYZ' # PR number.
FORK='https://...' # SSH URL does not seem to work here.
BRANCH_NAME='hotfix' # Branch name *from* which PR originates.
# https://stackoverflow.com/a/32447696/8828460
git fetch upstream pull/$ID/head && git checkout FETCH_HEAD
# if commits are added to upstream/main after PR was created.
git pull upstream master --rebase
# make changes, commit & push (force if required) changes
git push $FORK HEAD:$BRANCH_NAME
Created
November 7, 2023 16:17
-
-
Save yozachar/09dc08ae5fd3c4cf1c4527458f3fd760 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment