Skip to content

Commit

Permalink
Merge pull request galaxyproject#18835 from arash77/Update-PR-Title-W…
Browse files Browse the repository at this point in the history
…orkflow

Add workflow to update PR title based on target branch version
  • Loading branch information
nsoranzo authored Oct 14, 2024
2 parents fb70217 + 9433ece commit 3b4cfed
Showing 1 changed file with 27 additions and 0 deletions.
27 changes: 27 additions & 0 deletions .github/workflows/pr-title-update.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
name: Update PR title

on:
pull_request_target:
types: [opened, edited]
branches:
- "release_**"

jobs:
update-title:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- uses: actions/checkout@v4
- name: Update PR title
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
PR_NUMBER=${{ github.event.pull_request.number }}
TARGET_BRANCH="${{ github.base_ref }}"
PR_TITLE="${{ github.event.pull_request.title }}"
VERSION=$(echo $TARGET_BRANCH | grep -oP '\d+\.\d+')
if [[ -n "$VERSION" && ! "$PR_TITLE" =~ ^\[$VERSION\] ]]; then
NEW_TITLE="[$VERSION] $PR_TITLE"
gh pr edit $PR_NUMBER --title "$NEW_TITLE"
fi

Check failure

Code scanning / CodeQL

Expression injection in Actions Critical

Potential injection from the ${{ github.event.pull_request.title }}, which may be controlled by an external user.

0 comments on commit 3b4cfed

Please sign in to comment.