From 33c13a7c3d09d4dc219185dd59e593c4236559ca Mon Sep 17 00:00:00 2001
From: Benedict Geihe <bgeihe@uni-koeln.de>
Date: Thu, 21 May 2026 18:11:29 +0200
Subject: [PATCH] remove compat helper in favor of dependabot

also enable grouping of PRs
---
 .github/dependabot.yml             | 17 +++++++++++
 .github/workflows/CompatHelper.yml | 45 ------------------------------
 2 files changed, 17 insertions(+), 45 deletions(-)
 delete mode 100644 .github/workflows/CompatHelper.yml

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index d60f0707..b6727cf4 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -5,3 +5,20 @@ updates:
     directory: "/" # Location of package manifests
     schedule:
       interval: "monthly"
+    groups:
+      # Group all GitHub Actions PRs into a single PR:
+      all-github-actions:
+        patterns:
+          - "*"
+  - package-ecosystem: "julia"
+    directories: # Location of Julia projects
+      - "/LibTrixi.jl"
+      - "/LibTrixi.jl/test"
+      - "/docs"
+    schedule:
+      interval: "daily"
+    groups:
+      # Group all Julia package updates into a single PR:
+      all-julia-dependencies:
+        patterns:
+          - "*"
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
deleted file mode 100644
index 45397fe7..00000000
--- a/.github/workflows/CompatHelper.yml
+++ /dev/null
@@ -1,45 +0,0 @@
-name: CompatHelper
-on:
-  schedule:
-    - cron: 0 0 * * *
-  workflow_dispatch:
-permissions:
-  contents: write
-  pull-requests: write
-jobs:
-  CompatHelper:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Check if Julia is already available in the PATH
-        id: julia_in_path
-        run: which julia
-        continue-on-error: true
-      - name: Install Julia, but only if it is not already available in the PATH
-        uses: julia-actions/setup-julia@v3
-        with:
-          version: '1'
-          arch: ${{ runner.arch }}
-        if: steps.julia_in_path.outcome != 'success'
-      - name: "Add the General registry via Git"
-        run: |
-          import Pkg
-          ENV["JULIA_PKG_SERVER"] = ""
-          Pkg.Registry.add("General")
-        shell: julia --color=yes {0}
-      - name: "Install CompatHelper"
-        run: |
-          import Pkg
-          name = "CompatHelper"
-          uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
-          version = "3"
-          Pkg.add(; name, uuid, version)
-        shell: julia --color=yes {0}
-      - name: "Run CompatHelper"
-        run: |
-          import CompatHelper
-          CompatHelper.main(; subdirs=["docs", "LibTrixi.jl", "LibTrixi.jl/test", "LibTrixi.jl/lib"])
-        shell: julia --color=yes {0}
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-          # COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}