From 31d39e793222ae0357232b567448e3d68bdf00be Mon Sep 17 00:00:00 2001 From: Lulonaut Date: Thu, 1 Aug 2024 21:32:44 +0200 Subject: meta: Remove PR name prefix enforcement for meta PRs (#1284) --- .github/pull_request_template.md | 6 ++++-- .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 }} -- cgit