From 56cf7c242a26b1ab526ffe60f2cb812134b342a7 Mon Sep 17 00:00:00 2001
From: Hugo Hirsch <github@hugo-hirsch.de>
Date: Sun, 13 Aug 2023 10:20:33 +0200
Subject: [PATCH] Rm commit id plugin

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 93da04232..78a975e8a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -331,10 +331,10 @@
       </plugins>
     </pluginManagement>
     <plugins>
-      <plugin>
+      <!-- not working with JDK8 plugin>
         <groupId>io.github.git-commit-id</groupId>
         <artifactId>git-commit-id-maven-plugin</artifactId>
-      </plugin>
+      </plugin -->
       <plugin>
         <groupId>org.pitest</groupId>
         <artifactId>pitest-maven</artifactId>