arduino/library-registry
1
0
Fork 0
mirror of https://github.com/arduino/library-registry.git synced 2025-07-29 14:01:15 +03:00
Code Activity

Merge pull request #16 from arduino/comment-feedback-issue-number

Browse Source 
Remove unnecessary property reference from issue number definition for comment feedback comment
This commit is contained in:
per1234
2021-04-27 08:30:30 -07:00
committed by GitHub
parent 14d97cbc41 d83eb2b22c
commit 610ddd71ff
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/manage-prs.yml vendored
View File

@ -52,7 +52,7 @@ jobs:
route: POST /repos/{owner}/{repo}/issues/{issue_number}/comments
owner: ${{ github.repository_owner }}
repo: ${{ github.event.repository.name }}
issue_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }}
issue_number: ${{ github.event.issue.number }}
body: |
|
Hello! I'm checking your submission again.