From 1846b5af20b7d92989b1a3631db7444bd69b888e Mon Sep 17 00:00:00 2001
From: Jesse Alama <hello@jessealama.net>
Date: Fri, 11 Sep 2026 10:33:33 +0200
Subject: [PATCH] ci: add Dependabot config for actions and pip

---
 .github/dependabot.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/dependabot.yml

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644
index 000000000..f8a3e493f
--- /dev/null
+++ b/.github/dependabot.yml
@@ -0,0 +1,25 @@
+version: 2
+updates:
+  # Keep action pins fresh. Grouped so that all bumps land in a single weekly PR,
+  # which bounds the number of full Lean CI builds this triggers.
+  - package-ecosystem: github-actions
+    directory: /
+    schedule:
+      interval: weekly
+    groups:
+      actions:
+        patterns: ["*"]
+    commit-message:
+      prefix: ci
+
+  # Python packages installed by workflows (see requirements.txt in this directory).
+  # Major bumps are left for a human to review.
+  - package-ecosystem: pip
+    directory: /.github
+    schedule:
+      interval: weekly
+    ignore:
+      - dependency-name: "*"
+        update-types: ["version-update:semver-major"]
+    commit-message:
+      prefix: ci