Skip to content

Commit 9462da1

Browse files
authored
Revert "Update PR template (#1799)" (#1803)
This reverts commit c432e35.
1 parent 77dc494 commit 9462da1

File tree

1 file changed

+4
-11
lines changed

1 file changed

+4
-11
lines changed

.github/PULL_REQUEST_TEMPLATE.md

Lines changed: 4 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,7 @@ FOR CONTRIBUTOR:
55
* [ ] This PR updates an existing tool or tool collection
66
* [ ] This PR does something else (explain below)
77

8-
> [!WARNING]
9-
> **Linter Error Exceptions**
10-
>
11-
> Two labels are available to ignore specific *(false-positive)* tool linter errors.
12-
> These labels can be added when creating the pull request or afterwards from the PR labels panel.
13-
>
14-
> - 🚫 `skip-version-check`
15-
> Use when only a subset of tools within a suite has been updated.
16-
>
17-
> - 🚫 `skip-url-check`
18-
> Use when GitHub CI reports `403` errors but the URLs work.
8+
There are two labels that allow to ignore specific (false positive) tool linter errors:
9+
10+
* `skip-version-check`: Use it if only a subset of the tools has been updated in a suite.
11+
* `skip-url-check`: Use it if github CI sees 403 errors, but the URLs work.

0 commit comments

Comments
 (0)