Skip to content

Commit

Permalink
Use fast-forward when merging upstream develop
Browse files Browse the repository at this point in the history
  • Loading branch information
bartgol committed Mar 18, 2024
1 parent bd39633 commit 720a5dc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/sync_develop_with_upstream.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,6 @@ jobs:
git config --global user.email "lbertag@sandia.gov"
git config --global user.name "Luca Bertagna"
- name: Merge upstream develop
run: git merge upstream/develop
run: git merge upstream/develop --ff-only
- name: Push to remote
run: git push origin develop

0 comments on commit 720a5dc

Please # to comment.