From 42f2ade0fca1d80331372934993d806762777f5b Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Fri, 19 Jun 2020 15:06:12 -0400
Subject: [PATCH] Add tagged commit for each component.

---
 Jenkinsfile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 134c2fe..b4a0e8f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -77,7 +77,7 @@ pipeline {
                 script {
                     for (int i = 0; i < components.size(); i++) {
                         stage(components[i]['name']) {
-                            appendHeading(components[i]['name'], components[i]['version'])
+                            appendHeading(components[i]['name'], components[i]['version'],components[i]['gitRepo'], components[i]['commitID'])
                             createNotes(components[i]['name'], components[i]['gitRepo'],
                                     params.use_report_commits? components[i]['commitID']:null, components[i]['version'], gCube_release_version)
                         }
@@ -231,9 +231,12 @@ def appendNotes(repo_notes) {
  * @param name the name of the repository
  * @param version the version of the component
  */
-def appendHeading(name, version) {
+def appendHeading(name, version, gitRepo, commitID) {
      sh("""
         echo "## ${name} ${version}" >> $RELEASE_NOTES
+        echo "Tagged commit: _[${commitID}](${gitRepo}/commit/${commitID})_" >> $RELEASE_NOTES
+        echo "" >> $RELEASE_NOTES
+
      """)
 }