workflows/apidoc: try to rebase before pushing.

This avoids failures when you have two `master` builds running at once.
This commit is contained in:
Mike McQuaid 2019-11-28 15:24:32 +00:00
parent 88a1334664
commit c79cb6a2db
No known key found for this signature in database
GPG Key ID: 48A898132FD8EE70

View File

@ -34,8 +34,10 @@ jobs:
# commit and push generated files
git add docs
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