Move lock and merge to GitHub only

This commit is contained in:
2024-06-22 14:14:36 +02:00
parent 2a62044ecb
commit 9ee21e47cd
2 changed files with 0 additions and 0 deletions

View File

@ -1,15 +0,0 @@
name: lock pull-request
on:
pull_request:
types:
- closed
jobs:
lock:
runs-on: ubuntu-latest
steps:
- name: lock pull request
uses: sudo-bot/action-pull-request-lock@v1.0.5
with:
github-token: ${{ secrets.SUDO_BOT_TOKEN }}
number: ${{ github.event.pull_request.number }}
lock-reason: resolved

View File

@ -1,17 +0,0 @@
name: merge pull-request
on:
pull_request:
types:
- labeled
jobs:
merge:
runs-on: ubuntu-latest
steps:
- name: merge pull request
uses: sudo-bot/action-pull-request-merge@v1.1.1
with:
github-token: ${{ secrets.SUDO_BOT_TOKEN }}
number: ${{ github.event.pull_request.number }}
allowed-usernames-regex: ^williamdes$
filter-label: merge-it
merge-method: fast-forward