#18 New files/directories requires explicit git add

Jenkinsfile

@@ -183,7 +183,9 @@ 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 diff-index --quiet HEAD || git commit -q -a -m "Website release ${RELEASE_VERSION}." -m "Generated from commit ${GIT_COMMIT}" || git push
+                            git add -A
+                            git diff-index --quiet HEAD || git commit -q -m "Website release ${RELEASE_VERSION}." -m "Generated from commit ${GIT_COMMIT}"
+                            git push
                         '''
                     }
                 }