diff --git a/scripts/push-docs b/scripts/push-docs index eadfb3b9..fea29d29 100755 --- a/scripts/push-docs +++ b/scripts/push-docs @@ -24,7 +24,9 @@ git config user.email "${GITHUB_EMAIL:-no-reply@redhat.com}" if enabled; then git remote add origin "https://$GITHUB_TOKEN@github.com/$ORG/$REPO.git" git fetch origin - git reset origin/gh-pages + if git rev-parse origin/gh-pages; then + git reset origin/gh-pages + fi fi git add -A .