From 878da2e4aa445ffb8402795ae779b8c8f6fd01c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20L=C3=BCck?= <christian.lueck@uni-muenster.de>
Date: Sat, 18 Nov 2023 10:39:17 +0100
Subject: [PATCH] use git commit tag as version number

This fixes #9
---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 77bd55b..a75dafc 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -20,7 +20,7 @@ jobs:
           cache: maven
 
       - name: run maven
-        run: mvn --batch-mode --update-snapshots package
+        run: mvn -Drevision=${{github.ref_name}} -Dchangelist="" --batch-mode --update-snapshots package
 
       - name: create directory for github pages
         run: mkdir -p public