From 4792dc9af9bf696cbe782bb04df22642cffc8921 Mon Sep 17 00:00:00 2001
From: "Rossi, Tommaso (Bip Group)" <tommaso.rossi@bip-group.com>
Date: Thu, 25 Jul 2024 09:09:34 +0000
Subject: [PATCH] Merged PR 126: chore: Add github user to sync pipeline

---
 .devops/sync-github.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devops/sync-github.yml b/.devops/sync-github.yml
index d5fdd72..3348b81 100644
--- a/.devops/sync-github.yml
+++ b/.devops/sync-github.yml
@@ -13,7 +13,7 @@ steps:
     fetchTags: true
 
   - script: |
-      git remote add github 'https://$(GITHUB_PAT)@$(GITHUB_URL)'
+      git remote add github 'https://$(GITHUB_USER):$(GITHUB_PAT)@$(GITHUB_URL)'
       git push github main
       git push github $(Build.SourceBranchName)
     displayName: 'Sync repository with GitHub'