Skip to content

Merge pull request #4844 from voxel51/bugfix/grp-slice-op #85

Merge pull request #4844 from voxel51/bugfix/grp-slice-op

Merge pull request #4844 from voxel51/bugfix/grp-slice-op #85

Workflow file for this run

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 '[email protected]'
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 <[email protected]>
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`