You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- Integrated Sonia's 3.1 task (texkeys extraction and key cleanup)
- Kept retry mechanism and validation from 3.2 task
- Combined both features for complete INSPIRE fetcher improvement
- Removed test documentation file
Copy file name to clipboardExpand all lines: .github/ghprcomment.yml
+1-5Lines changed: 1 addition & 5 deletions
Original file line number
Diff line number
Diff line change
@@ -201,11 +201,7 @@
201
201
message: |
202
202
Your pull request needs to link an issue correctly.
203
203
204
-
To ease organizational workflows, please link this pull-request to the issue with syntax as described in <https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue>:
205
-
206
-
> <h2 id="linking-a-pull-request-to-an-issue-using-a-keyword">Linking a pull request to an issue using a keyword</h2>
207
-
> <p>You can link a pull request to an issue by using a supported keyword
208
-
> in the pull request's description or in a commit message.
204
+
To ease organizational workflows, please link this pull request to the issue by including a supported keyword in the pull request's description as per syntax described in [GitHub's documentation](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue).
0 commit comments