From 605d89641d515d342d31fec80194c771d159c4ff Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Fri, 31 May 2019 08:24:06 +0100
Subject: [PATCH] Disable Maven git plugin when .git directory is absent.
 Closes #2047

---
 main/pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main/pom.xml b/main/pom.xml
index 5c8e3649d..6e2c8bcff 100644
--- a/main/pom.xml
+++ b/main/pom.xml
@@ -247,6 +247,7 @@
             <verbose>false</verbose>
             <generateGitPropertiesFile>true</generateGitPropertiesFile>
             <generateGitPropertiesFilename>${project.build.outputDirectory}/git.properties</generateGitPropertiesFilename>
+            <failOnNoGitDirectory>false</failOnNoGitDirectory>
             <format>json</format>
             <gitDescribe>
                 <skip>false</skip>