From b338992b10583013d3108b9ddf8bf0f5cb0d6923 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Sat, 16 Dec 2023 00:09:13 +0100
Subject: [PATCH] Dependabot: Ignore Rubocop updates

Rubocop updates frequently need a manual intervention to fix newly identified offenses. This won't work with the pipeline, so that we temporarily disable these auto-updates.
---
 .github/dependabot.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index b016dcbe..9a23cbff 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -10,6 +10,8 @@ updates:
     labels:
       - dependencies
       - ruby
+    ignore:
+      - dependency-name: rubocop*
 
   - package-ecosystem: npm
     directory: "/"