Merged PR 126: chore: Add github user to sync pipeline

pagopa · Jul 25, 2024 · 4792dc9 · 4792dc9
1 parent 62eb14d
commit 4792dc9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'