From bc9d71d6666556c08e94414aec5ab6e977942018 Mon Sep 17 00:00:00 2001
From: Daniel Vallance <daniel@unikraft.com>
Date: Thu, 28 May 2026 09:45:21 +0100
Subject: [PATCH] feat: Do not raise multiple sync PRs

This changes the sync workflow to push changes
to a single, fixed, branch name. This means that
there will only ever be a single open sync PR.

Closes: FIELD-510

Signed-off-by: Daniel Vallance <daniel@unikraft.com>
---
 .github/workflows/sync.yaml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

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 <monkey@unikraft.io>
         author: Unikraft Bot <monkey@unikraft.io>
         add-paths: |