hazza/DSpace
1
0
Fork 0
mirror of https://github.com/DSpace/DSpace.git synced 2025-10-16 22:43:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Run PR Port action as 'dspace-bot' to allow new PRs to trigger CI checks

Browse Source
This commit is contained in:
Tim Donohue
2023-07-28 11:15:08 -05:00
parent e45e4f9831
commit 0162853bb5
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/port_merged_pull_request.yml vendored
View File

@@ -35,4 +35,10 @@ jobs:
# Title to add to the (newly created) port PR # Title to add to the (newly created) port PR
pull_title: '[Port ${target_branch}] ${pull_title}' pull_title: '[Port ${target_branch}] ${pull_title}'
# Description to add to the (newly created) port PR # Description to add to the (newly created) port PR
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
# NOTE: The labels matching 'label_pattern' are automatically excluded
copy_labels_pattern: '*'
# 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)
github_token: ${{ secrets.PR_PORT_TOKEN }}