chore: sync platform branch with main (#12525)

2023-11-24 15:18:08 +01:00
parent 5df41e37a0
commit a6df49235f
1 changed files with 20 additions and 0 deletions
@@ -0,0 +1,20 @@
+name: Sync platform branch with the main branch
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v2
+
+    - name: Sync with main
+      run: |
+        git checkout platform
+        git pull origin main
+        git push origin platform