diff options
author | Ondřej Čertík <ondrej@certik.us> | 2022-05-26 09:55:26 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-26 18:55:26 +0300 |
commit | 675f6587217b482f6bcfd7765c359250944ea0f3 (patch) | |
tree | 4848fe16418e099d8f7c8fb675fbbea7ad0221ed /custom | |
parent | ccc11c1e77d8011cec1efdadb18d8c831d62bc75 (diff) | |
download | gitea-675f6587217b482f6bcfd7765c359250944ea0f3.tar.gz gitea-675f6587217b482f6bcfd7765c359250944ea0f3.zip |
Make WIP prefixes case insensitive, e.g. allow `Draft` as a WIP prefix (#19780) (#19811)
Backport #19780
The issue was that only the actual title was converted to uppercase, but
not the prefix as specified in `WORK_IN_PROGRESS_PREFIXES`. As a result,
the following did not work:
WORK_IN_PROGRESS_PREFIXES=Draft:,[Draft],WIP:,[WIP]
One possible workaround was:
WORK_IN_PROGRESS_PREFIXES=DRAFT:,[DRAFT],WIP:,[WIP]
Then indeed one could use `Draft` (as well as `DRAFT`) in the title.
However, the link `Start the title with DRAFT: to prevent the pull request
from being merged accidentally.` showed the suggestion in uppercase; so
it is not possible to show it as `Draft`. This PR fixes it, and allows
to use `Draft` in `WORK_IN_PROGRESS_PREFIXES`.
Fixes #19779.
Co-authored-by: zeripath <art27@cantab.net>
Diffstat (limited to 'custom')
-rw-r--r-- | custom/conf/app.example.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/custom/conf/app.example.ini b/custom/conf/app.example.ini index 8d7946145f..b33e156646 100644 --- a/custom/conf/app.example.ini +++ b/custom/conf/app.example.ini @@ -880,7 +880,7 @@ PATH = ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -;; List of prefixes used in Pull Request title to mark them as Work In Progress +;; List of prefixes used in Pull Request title to mark them as Work In Progress (matched in a case-insensitive manner) ;WORK_IN_PROGRESS_PREFIXES = WIP:,[WIP] ;; ;; List of keywords used in Pull Request comments to automatically close a related issue |