Lines Matching +full:update +full:- +full:docs +full:- +full:branch

1 # Update the API documentation whenever the `main` branch changes.
2 # This documentation lives in its own `docs` branch.
3 name: docs
8       - 'main'
11   update-docs-branch:
12     runs-on: ubuntu-20.04 # latest
16       - name: Checkout
21       - name: Update docs branch
23           ./make-docs.sh
25       - name: Commit
27           git config --local user.email "action@github.com"
28           git config --local user.name "GitHub Action"
29           git add --force docs/
30           git commit --message="update docs"
32       - name: Push to docs branch
33         uses: ad-m/github-push-action@v0.6.0
36           branch: docs
37           # Force push so that `docs` branch always looks like `main`,
38           # but with 1 additional "update docs" commit.
40           # `docs` each time.