diff options
| author | Lulonaut <lulonaut@lulonaut.dev> | 2024-08-01 21:32:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-01 21:32:44 +0200 |
| commit | 31d39e793222ae0357232b567448e3d68bdf00be (patch) | |
| tree | 1cb652226a4fccd9e61acb7eb5557f6e7d6bf15a | |
| parent | 508e4450fd7d84b42dcb72c5eb06f65347e56adf (diff) | |
| download | notenoughupdates-31d39e793222ae0357232b567448e3d68bdf00be.tar.gz notenoughupdates-31d39e793222ae0357232b567448e3d68bdf00be.tar.bz2 notenoughupdates-31d39e793222ae0357232b567448e3d68bdf00be.zip | |
meta: Remove PR name prefix enforcement for meta PRs (#1284)
| -rw-r--r-- | .github/pull_request_template.md | 6 | ||||
| -rw-r--r-- | .github/workflows/enforce-pr-name.yml | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 6218fe34..0386e90d 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -8,9 +8,11 @@ Your PR title will be used in our changelog and should look like one of those: Add fleebleblub menu Fix crash in the gorp overlay -meta: Remove outdated documentation in CONTRIBUTING.md +Remove Herobrine +meta: Make documentation clearer -Use the meta prefix for things that don't affect users and use Add, Fix, or Remove for the rest of your PR. +Use Add, Fix, or Remove at the start of your PR name. +If the change doesn't affect end-users, start your PR name with `meta:`, in which case the naming conventions above do not apply. Do not end your PR title with a . diff --git a/.github/workflows/enforce-pr-name.yml b/.github/workflows/enforce-pr-name.yml index cd848845..2be1b7f7 100644 --- a/.github/workflows/enforce-pr-name.yml +++ b/.github/workflows/enforce-pr-name.yml @@ -14,6 +14,6 @@ jobs: steps: - uses: deepakputhraya/action-pr-title@master with: - regex: '(meta: )?(Add|Fix|Remove) .+[^\\.]' + regex: '(?:meta:|Add|Fix|Remove) .+[^\.]' prefix_case_sensitive: true github_token: ${{ github.token }} |