From e79b1eec7bdb75799b1ddea371b09efa0d99e567 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20G=C3=BCnther?= <agx@sigxcpu.org>
Date: Wed, 2 Oct 2024 15:47:47 +0200
Subject: [PATCH] ci: Drop duplicate format check

---
 .gitlab-ci.yml | 30 ------------------------------
 1 file changed, 30 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a0f846d..2e40900 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -96,36 +96,6 @@ test:native-debian-trixie:
     variables:
       - $PKG_ONLY == "1"
 
-format-check:
-  <<: *tags
-  <<: *image
-  before_script:
-    - export DEBIAN_FRONTEND=noninteractive
-    - apt-get -y update
-    - apt-get -y install uncrustify git python3
-  stage: style-checks
-  needs: []
-  script:
-    - |
-      if [ -n "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then
-        git remote add target $CI_MERGE_REQUEST_PROJECT_URL.git
-        echo "Fetching MR target branch $CI_MERGE_REQUEST_TARGET_BRANCH_NAME from $CI_MERGE_REQUEST_PROJECT_URL"
-        git fetch target "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME"
-        git fetch --deepen=100 origin HEAD
-        merge_base=$(git merge-base "target/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" HEAD)
-        if [ -z "$merge_base" ]; then
-          echo "Could't determine merge base"
-          exit 1
-        fi
-        echo "Merge base: $merge_base"
-        ./.gitlab-ci/check-style.py --dry-run --sha $merge_base
-      else
-        echo "Not a merge request"
-      fi
-  allow_failure: true
-  rules:
-    - if: '$CI_MERGE_REQUEST_TARGET_BRANCH_NAME'
-
 format-check:
   <<: *tags
   stage: style-checks