"Update Documentation" workflow - use gh api to create a documentation PR (#459)

This commit is contained in:
Samruddhi Khandale 2023-02-22 12:23:22 -08:00 committed by GitHub
parent 8d3685e09f
commit d84e46be47
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,6 +8,7 @@ on:
jobs:
generate:
runs-on: ubuntu-latest
environment: documentation
if: "github.ref == 'refs/heads/main'"
steps:
- uses: actions/checkout@v3
@ -18,10 +19,10 @@ jobs:
generate-docs: "true"
base-path-to-features: "./src"
- name: Add and Commit Documentation
- name: Create a PR for Documentation
id: push_image_info
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.PAT }}
run: |
set -e
echo "Start."
@ -42,5 +43,12 @@ jobs:
# Push
if [ "$NO_UPDATES" != "true" ] ; then
git push origin "$branch"
gh pr create --title "$message" --body "$message"
gh api \
--method POST \
-H "Accept: application/vnd.github+json" \
/repos/${GITHUB_REPOSITORY}/pulls \
-f title="$message" \
-f body="$message" \
-f head="$branch" \
-f base='main'
fi