diff --git a/.github/workflows/sync.yaml b/.github/workflows/sync.yaml index 81e99651..495aba4f 100644 --- a/.github/workflows/sync.yaml +++ b/.github/workflows/sync.yaml @@ -45,12 +45,6 @@ jobs: run: | git diff pages/guides/ - - name: Generate branch ID - id: id - run: | - BRANCH="sync/examples-$(date +'%Y%m%d%H%M%S')" - echo "name=${BRANCH}" >>"${GITHUB_OUTPUT}" - - name: Generate timestamp id: timestamp run: | @@ -73,7 +67,7 @@ jobs: **Branch:** `${{ inputs.examples_branch || 'main' }}` **Timestamp:** ${{ steps.timestamp.outputs.value }} - branch: ${{ steps.id.outputs.name }} + branch: sync/examples committer: Unikraft Bot author: Unikraft Bot add-paths: |