Merged PR 123: chore: Pipeline for syncing GitHub public repo on tag

chore: Pipeline for syncing GitHub public repo on tag
pagopa · Jul 18, 2024 · 6868764 · 6868764
1 parent 3f62393
commit 6868764
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.devops/sync-github.yml b/.devops/sync-github.yml
@@ -0,0 +1,19 @@
+# Automatically sync main branch to GitHub on tag
+
+trigger:
+  tags:
+    include:
+      - '*'
+
+pool:
+  vmImage: 'ubuntu-22.04'
+
+steps:
+  - checkout: self
+    fetchTags: true
+
+  - script: |
+      git remote add github 'https://$(GITHUB_PAT)@$(GITHUB_URL)'
+      git push github main
+      git push github $(Build.SourceBranchName)
+    displayName: 'Sync repository with GitHub'