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

Merge pull request #231 from per1234/unlink-mention

Browse Source 
Avoid linkification of bot user name in comment
This commit is contained in:
per1234
2021-07-20 00:56:58 -07:00
committed by GitHub
parent 5afc1b415a 02d74654d5
commit f67d72a764
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

@ -361,7 +361,7 @@ jobs:
After resolving the issue, trigger this check again by doing one of the following:
- Commit the required change to the branch you submitted this pull request from.
- Comment here, mentioning @ArduinoBot in the comment
- Comment here, mentioning `@ArduinoBot` in the comment
More information:
https://github.com/${{ github.repository }}/blob/main/README.md#if-the-problem-is-with-the-pull-request