Merge pull request #6791 from MikeMcQuaid/apidoc-parallel

workflows/apidoc: try to rebase before pushing.
This commit is contained in:
Mike McQuaid 2019-11-29 10:47:45 +00:00 committed by GitHub
commit 0ffe59e768
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -37,5 +37,7 @@ jobs:
if ! git diff --exit-code HEAD -- docs; then
git commit -m 'docs: update from Homebrew/brew push' docs
git fetch
git rebase origin/master
git push
fi