diff options
| author |   danielhanrahan <daniel.hanrahan@est.tech> | 2022-11-25 15:35:17 +0000 |
|---|---|---|
| committer | danielhanrahan <daniel.hanrahan@est.tech> | 2022-11-25 15:35:17 +0000 |
| commit | dd3478d48d76cb25c8752eb887a0cebd4206c9f0 (patch) | |
| tree | 684c1ac24bed72a494ce16847594e815caa84954 | |
| parent | 7a7c90404e9c0e3faaa3b3a111ed2263d2dad893 (diff) | |
Move git-commit-id-maven-plugin to parent pom
The POM config for git-commit-id-maven-plugin is duplicated in each
repo, so the config is moved to policy/parent
Issue-ID: POLICY-4466
Signed-off-by: danielhanrahan <daniel.hanrahan@est.tech>
Change-Id: I67098f65197d32fbda1b2b929a974a0febf3af3f
| -rw-r--r-- | packages/policy-gui-docker/pom.xml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/packages/policy-gui-docker/pom.xml b/packages/policy-gui-docker/pom.xml index 2670402..7c867fc 100644 --- a/packages/policy-gui-docker/pom.xml +++ b/packages/policy-gui-docker/pom.xml @@ -70,25 +70,6 @@ <plugin> <groupId>io.github.git-commit-id</groupId> <artifactId>git-commit-id-maven-plugin</artifactId> - <version>5.0.0</version> - <executions> - <execution> - <id>get-the-git-infos</id> - <goals> - <goal>revision</goal> - </goals> - <phase>initialize</phase> - </execution> - </executions> - <configuration> - <skipPoms>false</skipPoms> - <generateGitPropertiesFile>true</generateGitPropertiesFile> - <includeOnlyProperties> - <includeOnlyProperty>^git.build.(time|version)$</includeOnlyProperty> - <includeOnlyProperty>^git.commit.id.abbrev$</includeOnlyProperty> - </includeOnlyProperties> - <commitIdGenerationMode>full</commitIdGenerationMode> - </configuration> </plugin> <plugin> |