From 42da7456933699580f7a8f836a44741959dfa7fb Mon Sep 17 00:00:00 2001 From: Markus Reiter Date: Thu, 3 Sep 2020 08:57:21 +0200 Subject: [PATCH] Delete update-pr-branch.yml --- .github/workflows/update-pr-branch.yml | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .github/workflows/update-pr-branch.yml diff --git a/.github/workflows/update-pr-branch.yml b/.github/workflows/update-pr-branch.yml deleted file mode 100644 index ab568ccaf55..00000000000 --- a/.github/workflows/update-pr-branch.yml +++ /dev/null @@ -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 }}