Skip to content

Merge pull request #3385 from ingef/feature/progess-on-search-finalizer #107

Merge pull request #3385 from ingef/feature/progess-on-search-finalizer

Merge pull request #3385 from ingef/feature/progess-on-search-finalizer #107

name: "Merge Release"
on:
push:
branches:
- release
jobs:
merge-release:
runs-on: ubuntu-latest
timeout-minutes: 3
steps:
- uses: actions/checkout@v2
- name: pull-request
uses: repo-sync/pull-request@v2
with:
destination_branch: "master"
pr_title: "Merge Release"
pr_reviewer: "thoniTUB,awildturtok"
pr_assignee: "thoniTUB,awildturtok"
github_token: ${{ secrets.GITHUB_TOKEN }}