cleanup-after-milestone-prs-merged.yml

name: Cleanup After Milestone PRs Merged

on:
  pull_request:
    types:
      - closed

jobs:
  handle_pr:
    runs-on: ubuntu-latest

    steps:
    - name: Checkout repository
      uses: actions/checkout@v4.2.0

    - name: Get the PR title and extract PR numbers
      id: extract_pr_numbers
      run: |
        # Get the PR title
        PR_TITLE="${{ github.event.pull_request.title }}"

        echo "PR Title: $PR_TITLE"

        # Extract PR numbers from the title
        PR_NUMBERS=$(echo "$PR_TITLE" | grep -oE "#[0-9]+" | tr -d '#' | tr '\n' ' ')
        echo "Extracted PR Numbers: $PR_NUMBERS"

        # Save PR numbers to a file
        echo "$PR_NUMBERS" > pr_numbers.txt
        echo "Saved PR Numbers to pr_numbers.txt"

        # Check if the title matches a specific pattern
        if echo "$PR_TITLE" | grep -qE "^deps: Merge( #[0-9]+)+ PRs into .+"; then
          echo "proceed=true" >> $GITHUB_OUTPUT
        else
          echo "proceed=false" >> $GITHUB_OUTPUT
        fi

    - name: Use extracted PR numbers and label PRs
      if: (steps.extract_pr_numbers.outputs.proceed == 'true' || contains(github.event.pull_request.labels.*.name, 'milestone-merge')) && github.event.pull_request.merged == true
      run: |
        # Read the previously saved PR numbers
        PR_NUMBERS=$(cat pr_numbers.txt)
        echo "Using extracted PR Numbers: $PR_NUMBERS"

        # Loop through each PR number and add label
        for PR_NUMBER in $PR_NUMBERS; do
          echo "Adding 'cherry-picked' label to PR #$PR_NUMBER"
          curl -X POST \
            -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
            -H "Accept: application/vnd.github+json" \
            https://api.github.com/repos/${{ github.repository }}/issues/$PR_NUMBER/labels \
            -d '{"labels":["cherry-picked"]}'
        done
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

    - name: Delete branch after PR close
      if: steps.extract_pr_numbers.outputs.proceed == 'true' || contains(github.event.pull_request.labels.*.name, 'milestone-merge')
      run: |
        BRANCH_NAME="${{ github.event.pull_request.head.ref }}"
        echo "Branch to delete: $BRANCH_NAME"
        git push origin --delete "$BRANCH_NAME"
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}