push-release.yml

name: Push Release

on:
  push:
    branches:
      - release/v[0-9]+.[0-9]+.[0-9]+
  workflow_dispatch:
    inputs:
      ref_name:
        type: string

jobs:
  pr:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          ref: develop
          fetch-depth: 0
      - run: |
          git config user.name 'voxel51-bot'
          git config user.email 'bot@voxel51.com'
          git checkout merge/${{ inputs.ref_name || github.ref_name }} \
          || git checkout -b merge/${{ inputs.ref_name || github.ref_name }}
          git push -u origin merge/${{ inputs.ref_name || github.ref_name }}
          git checkout develop
          git pull origin merge/${{ inputs.ref_name || github.ref_name }} --no-rebase
          git pull origin ${{ inputs.ref_name || github.ref_name }} --no-rebase
      - uses: peter-evans/create-pull-request@v7
        with:
          author: voxel51-bot <bot@voxel51.com>
          token: ${{ secrets.FIFTYONE_GITHUB_TOKEN }}
          base: develop
          body: Merge `${{ inputs.ref_name || github.ref_name }}` to `develop`
          branch: merge/${{ inputs.ref_name || github.ref_name }}
          title: Merge `${{ inputs.ref_name || github.ref_name }}` to `develop`