CI: Print tagged manifest revisions

* Print revisions of the repositories in default.xml after tagging

.gitlab-ci-template.yml

@@ -45,6 +45,9 @@ variables:
 .repo_tag: &repo_tag
     # create a manifest containing all fixed revisions
     - ~/repo manifest -r > ${REPODIR}/manifests/default.xml.tagged
+    - echo "Revisions of the tagged manifest:\n\n"
+    - grep 'project name' ${REPODIR}/manifests/default.xml.tagged \
+      | sed -E -e 's#<project\s+(.+)\s+/?>#\1#g'
 
 prepare_environment:
   tags: