From 686876454ce271bd9c4ef960a264f129d5aa7120 Mon Sep 17 00:00:00 2001
From: "Rossi, Tommaso (Bip Group)" <tommaso.rossi@bip-group.com>
Date: Thu, 18 Jul 2024 08:29:13 +0000
Subject: [PATCH] Merged PR 123: chore: Pipeline for syncing GitHub public repo
 on tag

chore: Pipeline for syncing GitHub public repo on tag
---
 .devops/sync-github.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .devops/sync-github.yml

diff --git a/.devops/sync-github.yml b/.devops/sync-github.yml
new file mode 100644
index 0000000..d5fdd72
--- /dev/null
+++ 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'