Delete update-pr-branch.yml

This commit is contained in:
Markus Reiter 2020-09-03 08:57:21 +02:00 committed by GitHub
parent 933c4f9a04
commit 42da745693
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 18 deletions

View File

@ -1,18 +0,0 @@
name: Update Pull Request Branch
on:
workflow_dispatch:
inputs:
pull_request:
description: Pull request number
required: true
jobs:
update-pr-branch:
runs-on: ubuntu-latest
steps:
- name: Update Pull Request Branch
uses: juliangruber/update-pull-request-branch-action@21b674cd8723ec811ff2a0e6d1377507878b7f30
with:
number: ${{ github.event.inputs.pull_request }}
github-token: ${{ secrets.HOMEBREW_GITHUB_API_TOKEN }}