Migrate sync job to GitHub Actions and remove CircleCI config

.github/labeler.yml

@@ -0,0 +1,3 @@
+automerge:
+  - any:
+      - head-branch: ['merge-main-to-develop']

.github/workflows/auto-merge-prs.yml

@@ -0,0 +1,18 @@
+name: Auto-merge sync PR
+
+on:
+  schedule:
+    - cron: '*/60 * * * *' # every 60 minutes
+  workflow_dispatch: # on button click
+
+jobs:
+  automerge:
+    permissions:
+      pull-requests: read
+      contents: write
+    runs-on: ubuntu-latest
+    steps:
+      - name: Automerge PRs with "automerge" label
+        uses: "pascalgn/[email protected]"
+        env:
+          GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"

.github/workflows/label-pr.yml

@@ -0,0 +1,19 @@
+name: Label PRs
+on:
+  pull_request:
+    types:
+      - opened
+      - synchronize
+    branches:
+      - develop
+
+
+jobs:
+  label-pr:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: write
+    steps:
+      - name: Label PR with "automerge"
+        uses: actions/labeler@v5

.github/workflows/sync.yml

@@ -0,0 +1,23 @@
+name: Sync `main` and `develop`
+
+on:
+  schedule:
+    - cron: '*/30 * * * *' # every 30 minutes
+  workflow_dispatch: # on button click
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Set git email and name
+        run: |
+          git config --global user.email "[email protected]"
+          git config --global user.name "Kedro"
+
+      - name: Maybe merge to develop or raise a PR
+        run: ./tools/github_actions/merge.sh . "main" "develop" "${{ secrets.GITHUB_TOKEN }}"