conditionally push to repos, never on PR

This commit is contained in:
Johnny Cena 2025-08-24 10:09:35 +02:00
parent 9850e10d5c
commit e31692d238

View File

@ -55,6 +55,7 @@ jobs:
shell: bash shell: bash
- name: Commit changes to raylib repo - name: Commit changes to raylib repo
if: github.event_name == 'push'
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
@ -66,6 +67,7 @@ jobs:
shell: bash shell: bash
- name: Push changes to raylib.com repo - name: Push changes to raylib.com repo
if: github.event_name == 'push'
run: | run: |
cd raylib.com cd raylib.com
git add -A git add -A