#18 Website deployment failed when no changes

Jenkinsfile

@@ -183,9 +183,7 @@ pipeline {
                             git config user.email "trace4cps-bot@eclipse.org"
                             git config user.name "genie.trace4cps"
                             git config push.default simple # Required to silence Git push warning.
-                            git add -A
-                            git commit -q -m "Website release ${RELEASE_VERSION}." -m "Generated from commit ${GIT_COMMIT}"
-                            git push
+                            git diff-index --quiet HEAD || git commit -q -a -m "Website release ${RELEASE_VERSION}." -m "Generated from commit ${GIT_COMMIT}" || git push
                         '''
                     }
                 }

releng/org.eclipse.trace4cps.website/assembly.xml

@@ -35,6 +35,7 @@
             <unpackOptions>
                 <includes>
                     <include>html/**</include>
+                    <include>icons/**</include>
                 </includes>
             </unpackOptions>
         </dependencySet>

temporallogic/org.eclipse.trace4cps.tl.cmd/pom.xml

@@ -91,7 +91,7 @@
                 <artifactId>maven-assembly-plugin</artifactId>
                 <executions>
                     <execution>
-                        <id>assemble-verify-cli</id>
+                        <id>assemble-rvcli</id>
                         <phase>package</phase>
                         <goals>
                             <goal>single</goal>