Skip to content

Commit c552577

Browse files
authored
Reenable commenting on missing issue number (#12962)
* Update on-pr-opened-updated.yml * Adapt job name * Refine job name
1 parent ccc379c commit c552577

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

.github/ghprcomment.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@
119119
always: true
120120
message: >
121121
Note that your PR will not be reviewed/accepted until you have gone through the mandatory checks in the description and marked each of them them exactly in the format of `[x]` (done), `[ ]` (not done yet) or `[/]` (not applicable).
122-
- jobName: 'Determine issue number'
122+
- jobName: 'Issue number present'
123123
always: true
124124
message: |
125125
Your pull request needs to link an issue.

.github/workflows/on-pr-opened-updated.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
bodyURLRegex: 'http(s?):\/\/(github.com)(\/JabRef)(\/jabref)(\/issues)\/(?<ticketNumber>\d+)'
4848
outputOnly: true
4949
- run: echo "${{ steps.get_issue_number.outputs.ticketNumber }}"
50-
- name: Fail on no ticket number found
50+
- name: Issue number present
5151
if: steps.get_issue_number.outputs.ticketNumber == '-1'
5252
run: |
5353
echo "No valid ticket number found!"

0 commit comments

Comments
 (0)