mirror of
https://github.com/DSpace/DSpace.git
synced 2025-10-18 15:33:09 +00:00
Fix typo. Config must be a valid regex
(cherry picked from commit 799528963e
)
This commit is contained in:

committed by
github-actions[bot]
![github-actions[bot]](/assets/img/avatar_default.png)
parent
d1539efe9a
commit
867331e3af
@@ -38,7 +38,7 @@ jobs:
|
|||||||
pull_description: 'Port of #${pull_number} by @${pull_author} to `${target_branch}`.'
|
pull_description: 'Port of #${pull_number} by @${pull_author} to `${target_branch}`.'
|
||||||
# Copy all labels from original PR to (newly created) port PR
|
# Copy all labels from original PR to (newly created) port PR
|
||||||
# NOTE: The labels matching 'label_pattern' are automatically excluded
|
# NOTE: The labels matching 'label_pattern' are automatically excluded
|
||||||
copy_labels_pattern: '*'
|
copy_labels_pattern: '.*'
|
||||||
# Use a personal access token (PAT) to create PR as 'dspace-bot' user.
|
# Use a personal access token (PAT) to create PR as 'dspace-bot' user.
|
||||||
# A PAT is required in order for the new PR to trigger its own actions (for CI checks)
|
# A PAT is required in order for the new PR to trigger its own actions (for CI checks)
|
||||||
github_token: ${{ secrets.PR_PORT_TOKEN }}
|
github_token: ${{ secrets.PR_PORT_TOKEN }}
|
Reference in New Issue
Block a user