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
Copy file name to clipboardExpand all lines: .github/workflows/manage-prs.yml
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -268,7 +268,7 @@ jobs:
268
268
- Commit the required change to the branch you submitted this pull request from.
269
269
- Comment here, mentioning @ArduinoBot in the comment
270
270
271
-
More information: https://github.com/${{ github.repository }}/main/README.md#if-the-problem-is-with-the-pull-request"
271
+
More information: https://github.com/${{ github.repository }}/blob/main/README.md#if-the-problem-is-with-the-pull-request"
272
272
273
273
merge:
274
274
needs:
@@ -338,4 +338,4 @@ jobs:
338
338
Hi @${{ github.actor }}. Your pull request has been detected as something other than a Library Manager submission. A maintainer will need to review it before it can be merged.
339
339
340
340
If you intended to submit a library, please check the instructions and update your pull request if necessary:
0 commit comments