Compare commits
No commits in common. "317b0bbb73a3aa2a8eb2ffff6201eb2e7464fbcc" and "b1a7f98365a5f16898f5e5a36ab3aae78e24dd12" have entirely different histories.
317b0bbb73
...
b1a7f98365
1 changed files with 2 additions and 5 deletions
|
|
@ -11,9 +11,6 @@ jobs:
|
||||||
uses: actions/checkout@v4
|
uses: actions/checkout@v4
|
||||||
with:
|
with:
|
||||||
ref: develop
|
ref: develop
|
||||||
# PUSH_TOKEN must be a PAT with write access to the repo.
|
|
||||||
# It bypasses branch protection rules that block the default GITHUB_TOKEN.
|
|
||||||
token: ${{ secrets.PUSH_TOKEN }}
|
|
||||||
- name: Update flake
|
- name: Update flake
|
||||||
if: ${{ github.event_name == 'schedule' }}
|
if: ${{ github.event_name == 'schedule' }}
|
||||||
run: |
|
run: |
|
||||||
|
|
@ -22,8 +19,8 @@ jobs:
|
||||||
- name: Commit new Flake.lock
|
- name: Commit new Flake.lock
|
||||||
if: ${{ github.event_name == 'schedule' }}
|
if: ${{ github.event_name == 'schedule' }}
|
||||||
run: |
|
run: |
|
||||||
git config --local user.email "forgejo-actions[bot]@christophhollizeck.dev"
|
git config --local user.email "christoph.hollizeck@hey.com"
|
||||||
git config --local user.name "forgejo-actions[bot]"
|
git config --local user.name "forgjo-actions[bot]"
|
||||||
git commit -a -m "chore: update flake"
|
git commit -a -m "chore: update flake"
|
||||||
- name: Push changes
|
- name: Push changes
|
||||||
if: ${{ github.event_name == 'schedule' }}
|
if: ${{ github.event_name == 'schedule' }}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue