From fe9a1750e6d64b98f68ea69821705dbfba72fa69 Mon Sep 17 00:00:00 2001
From: dabico <dabico@usi.ch>
Date: Fri, 2 Feb 2024 18:49:32 +0100
Subject: [PATCH] Add `git-commit-id-maven-plugin`

Includes a Git VCS summary in the packaged JAR. This is purely for
informational purposes.
---
 pom.xml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/pom.xml b/pom.xml
index 7ce37003..3e91c898 100644
--- a/pom.xml
+++ b/pom.xml
@@ -235,6 +235,25 @@
           </execution>
         </executions>
       </plugin>
+      <plugin>
+        <groupId>io.github.git-commit-id</groupId>
+        <artifactId>git-commit-id-maven-plugin</artifactId>
+        <version>7.0.0</version>
+        <executions>
+          <execution>
+            <goals>
+              <goal>revision</goal>
+            </goals>
+            <configuration>
+              <commitIdGenerationMode>full</commitIdGenerationMode>
+              <generateGitPropertiesFile>true</generateGitPropertiesFile>
+              <generateGitPropertiesFilename>
+                ${project.build.outputDirectory}/git.properties
+              </generateGitPropertiesFilename>
+            </configuration>
+          </execution>
+        </executions>
+      </plugin>
       <plugin>
         <artifactId>maven-source-plugin</artifactId>
         <version>3.3.0</version>