Skip to content

Commit

Permalink
ci: Use git-cherry-pick to merge the upstream recipe commits
Browse files Browse the repository at this point in the history
  • Loading branch information
akirak committed Nov 3, 2023
1 parent 3c65d0b commit 202e481
Showing 1 changed file with 2 additions and 6 deletions.
8 changes: 2 additions & 6 deletions .github/workflows/merge-upstream.yml
Original file line number Diff line number Diff line change
Expand Up @@ -64,14 +64,10 @@ jobs:
commit.committer_date = commit.author_date
' --force
- name: Rebase
run: |
git rebase -s ort -X ours ${{ steps.start.outputs.rev }}
- name: Merge into the original branch
- name: Cherry-pick the filtered commits
run: |
git switch ${{ matrix.base_ref }}
git merge --ff upstream-recipes
git cherry-pick --strategy ort -X hours ..upstream-recipes
- name: Create a pull request
uses: peter-evans/create-pull-request@v5
Expand Down

0 comments on commit 202e481

Please sign in to comment.