Fix invalid syntax for git merge

pull/1837/head
grossmj 4 years ago
parent f9c4c82da6
commit 0f154e5f29

@ -38,5 +38,5 @@ jobs:
git status
git commit -m "Publish API documentation"
git checkout gh-pages
git merge 3.0 --theirs
git merge 3.0 -X theirs
git push

Loading…
Cancel
Save