rename profile github to more specific github-www-composum-com since …

…it's for that specific maven repository ; debugging for docker build

.github/settings-istrepo.xml

@@ -46,7 +46,7 @@
         <mirror>
             <id>istrepo</id>
             <name>istrepo</name>
-            <mirrorOf>*,!github-www-composum-com,!github</mirrorOf>
+            <mirrorOf>central</mirrorOf>
             <url>https://repo.ist-software.com/repository/maven-public</url>
         </mirror>
         <!-- -->

.github/workflows/dockerdeploy.yml

@@ -81,7 +81,7 @@ jobs:
         # Compare also https://github.com/actions/virtual-environments/issues/2187 (M1 support for github actions)
         run: |
           cd docker
-          $MVNCMD -P $(git branch --show-current),allplatforms deploy
+          $MVNCMD -X -P $(git branch --show-current),allplatforms,github-www-composum-com deploy
 
       - name: Check docker status
         run: |

pom.xml

@@ -240,7 +240,7 @@
 			</activation>
 			<repositories>
 				<repository>
-					<id>github</id>
+					<id>github-www-composum-com</id>
 					<url>https://maven.pkg.github.com/ist-dresden/www-composum-com</url>
 					<snapshots>
 						<enabled>true</enabled>