From 7cdb2d5240d4e33c164f169663dcb27b6e10631b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 12 Jul 2024 17:02:34 +0100
Subject: [PATCH] ci: Group dependabot updates (#478)

Closes #462

Tries to avoid the flood of package updates by grouping them into
categories.
- Hugr packages get their own group
- Dev dependencies get grouped together as long as they are not breaking
changes.
- Patch releases and minor releases get their own groups
- Any major release gets its own PR

<img width="569" alt="image"
src="https://github.com/user-attachments/assets/b77387ba-0518-49b6-9d18-65f31825b4a6">
---
 .github/dependabot.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 91f68728..00aef124 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -12,6 +12,18 @@ updates:
     commit-message:
       # Use a conventional commit tag
       prefix: "chore(deps-rs)"
+    groups:
+      hugr:
+        patterns: ["hugr*"]
+      dev:
+        dependency-type: "development"
+        update-types: ["patch", "minor"]
+      patch:
+        update-types: ["patch"]
+      minor:
+        update-types: ["minor"]
+      # Major updates still generate individual PRs
+
   - package-ecosystem: "pip"
     directory: "/" # Location of package manifests
     schedule:
@@ -19,6 +31,18 @@ updates:
     commit-message:
       # Use a conventional commit tag
       prefix: "chore(deps-py)"
+    groups:
+      hugr:
+        patterns: ["hugr*"]
+      dev:
+        dependency-type: "development"
+        update-types: ["patch", "minor"]
+      patch:
+        update-types: ["patch"]
+      minor:
+        update-types: ["minor"]
+      # Major updates still generate individual PRs
+
   - package-ecosystem: "github-actions"
     directory: "/"
     schedule: