Fix merge issues on gh-pages branch

pull/1837/head
grossmj 4 years ago
parent a6a35e7c43
commit 3a136a46a1

@ -37,6 +37,5 @@ jobs:
git add docs
git status
git commit -m "Publish API documentation"
git checkout gh-pages
git merge 3.0
git checkout --theirs gh-pages
git push

Loading…
Cancel
Save