chore: Adds JIRA prefix for GitHub issues (#396)

Author: lantoli

.github/workflows/issues.yml

@@ -34,7 +34,7 @@
                   "project": {
                       "id": "10984"
                   },
-                  "summary": "HELP: GitHub Issue n. '"${ISSUE_NUMBER}"'",
+                  "summary": "CDK HELP: GitHub Issue n. '"${ISSUE_NUMBER}"'",
                   "issuetype": {
                       "id": "12"
                   },
@@ -78,7 +78,7 @@
             ISSUE_NUMBER=${{ github.event.issue.number }}
             JIRA_API_TOKEN=${{ secrets.JIRA_API_TOKEN }}
 
-            JIRA_QUERY="project = CLOUDP AND issuetype = Story AND resolution = Declined AND text ~ \"HELP: GitHub Issue n. $ISSUE_NUMBER\""
+            JIRA_QUERY="project = CLOUDP AND issuetype = Story AND resolution = Declined AND text ~ \"CDK HELP: GitHub Issue n. $ISSUE_NUMBER\""
             
             # URL encode the query
             JIRA_URL=$(echo "$JIRA_QUERY" | jq -s -R -r @uri)            
@@ -126,7 +126,7 @@
             ISSUE_NUMBER=${{ github.event.issue.number }}
             JIRA_API_TOKEN=${{ secrets.JIRA_API_TOKEN }}
 
-            JIRA_QUERY="project = CLOUDP AND issuetype = Story AND resolution = Unresolved AND text ~ \"HELP: GitHub Issue n. $ISSUE_NUMBER\""
+            JIRA_QUERY="project = CLOUDP AND issuetype = Story AND resolution = Unresolved AND text ~ \"CDK HELP: GitHub Issue n. $ISSUE_NUMBER\""
             
             # URL encode the query
             JIRA_URL=$(echo "$JIRA_QUERY" | jq -s -R -r @uri)