Fix empty issue_number causing double // in GitHub API URL for createComment

Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>

Author: Copilot

.github/workflows/arxiv_to_publications_correct.yml

@@ -40,4 +40,4 @@ jobs:
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
-            github.rest.issues.createComment({...context.issue, body: process.env.COMMENT})
+            github.rest.issues.createComment({...context.repo, issue_number: context.issue.number, body: process.env.COMMENT})

.github/workflows/issue_to_bib.yml

@@ -40,4 +40,4 @@ jobs:
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
-            github.rest.issues.createComment({...context.issue, body: process.env.COMMENT})
+            github.rest.issues.createComment({...context.repo, issue_number: context.issue.number, body: process.env.COMMENT})