Identity update

This commit is contained in:
2024-10-12 15:32:28 +02:00
parent f7494799b9
commit 33299110a3

View File

@@ -13,9 +13,13 @@ jobs:
- name: Checkout repository - name: Checkout repository
uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
# Tento token zajišťuje oprávnění k zápisu
token: ${{ secrets.GITHUB_TOKEN }} token: ${{ secrets.GITHUB_TOKEN }}
- name: Configure Git user
run: |
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: Set executable permissions - name: Set executable permissions
run: chmod +x ./update_dev.sh run: chmod +x ./update_dev.sh