Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add workflow to update PR title based on target branch version #18835

Merged
merged 8 commits into from
Oct 14, 2024
Merged

Add workflow to update PR title based on target branch version #18835

Changes from 2 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
4160c31
Add workflow to update PR title based on target branch version
arash77 Sep 17, 2024
17a124e
Use pull_request_target instead of pull_request
arash77 Sep 17, 2024
e5acd13
use branches instead of if in the job, add permissions
arash77 Sep 17, 2024
d3c9e03
Trigger workflow on edited PR
arash77 Sep 17, 2024
6a8df78
Merge branch 'galaxyproject:dev' into Update-PR-Title-Workflow
arash77 Oct 1, 2024
b5d1432
checkout first as it need to run git commands
arash77 Oct 10, 2024
f4ffa9d
More generic and shorter title
arash77 Oct 11, 2024
9433ece
Using github action contexts instead of gh CLI
arash77 Oct 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 25 additions & 0 deletions .github/workflows/pr-title-update.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
name: Update PR Title If Target Branch Is A Version Branch
arash77 marked this conversation as resolved.
Show resolved Hide resolved

on:
pull_request_target:
types: [opened]
nsoranzo marked this conversation as resolved.
Show resolved Hide resolved

jobs:
update-title:
runs-on: ubuntu-latest
steps:
- name: Update PR title
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
nsoranzo marked this conversation as resolved.
Show resolved Hide resolved
run: |
PR_NUMBER=${{ github.event.pull_request.number }}
TARGET_BRANCH=$(gh pr view $PR_NUMBER --json baseRefName -q .baseRefName)
arash77 marked this conversation as resolved.
Show resolved Hide resolved
PR_TITLE=$(gh pr view $PR_NUMBER --json title -q .title)
arash77 marked this conversation as resolved.
Show resolved Hide resolved

if [[ "$TARGET_BRANCH" != "dev" ]]; then
nsoranzo marked this conversation as resolved.
Show resolved Hide resolved
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
fi
Loading