zsh/zdharma-continuum.zinit
1
0
Fork 0
mirror of https://github.com/zdharma-continuum/zinit.git synced 2026-09-10 07:36:38 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix: resolves a bug with github action trying to push updated docs back to external forks (#763)

Browse source
This commit is contained in:
Andrea Alberti 2026-02-15 20:51:37 +01:00 committed by GitHub
parent 701657f71b
commit 34a18112e8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.github/workflows/documentation.yaml vendored
View file

@ -9,6 +9,8 @@ on:
push:
branches:
- main
paths:
- 'zinit*.zsh'
workflow_dispatch:
jobs:
@ -19,15 +21,16 @@ jobs:
- name: checkout repository
uses: actions/checkout@v6
with:
repository: ${{ github.event.pull_request.head.repo.full_name }}
ref: ${{ github.event.pull_request.head.ref }}
repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }}
ref: ${{ github.event.pull_request.head.ref || github.ref }}
- name: re-generate documentation
run: |
make doc/container
sudo chown -R "$(id -u):$(id -g)" .
- name: commit changes to the current branch
- name: commit and push updated docs
if: github.event_name != 'pull_request'
uses: EndBug/add-and-commit@v9
with:
add: 'doc'