Merge pull request #10111 from szarnyasg/add-original-issue-number-to…

…-mirror-issue

CI: Add backlink to original issue when its status changes

.github/workflows/InternalIssuesUpdateMirror.yml

@@ -29,7 +29,7 @@ jobs:
       - name: Add comment with status to mirror issue
         run: |
           if [ "$MIRROR_ISSUE_NUMBER" != "" ]; then
-            gh issue comment --repo duckdblabs/duckdb-internal $MIRROR_ISSUE_NUMBER --body "The issue has been ${{ github.event.action }}."
+            gh issue comment --repo duckdblabs/duckdb-internal $MIRROR_ISSUE_NUMBER --body "The issue has been ${{ github.event.action }} (https://github.com/duckdb/duckdb/issues/${{ github.event.issue.number }})."
           fi
 
       - name: Add closed label to mirror issue