Skip to content
Snippets Groups Projects
Commit d809db52 authored by James Briggs's avatar James Briggs
Browse files

fix: add pat to git push

parent 0a15602d
No related branches found
No related tags found
No related merge requests found
......@@ -92,15 +92,13 @@ jobs:
.pages) |= ($pages | fromjson)
' temp-docs/docs.json > temp-docs/docs.json.tmp && mv temp-docs/docs.json.tmp temp-docs/docs.json
- name: Configure git
run: |
git config --local user.email "admin@aurelio.ai"
git config --local user.name "aurelio-bot"
- name: Git commit and push
working-directory: temp-docs
run: |
git config --local user.email "admin@aurelio.ai"
git config --local user.name "aurelio-bot"
git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/aurelio-labs/docs.git
git add .
git diff --quiet && git diff --staged --quiet || (git commit -m "chore: update semantic router docs" && git push)
env:
GITHUB_TOKEN: ${{ secrets.PAT }}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment