mirror of
https://github.com/abhijithvijayan/web-extension-starter.git
synced 2025-10-07 07:22:37 +02:00
feat: add merged PR labeller bot
This commit is contained in:
parent
302c28c13c
commit
ac2e18cbe5
16
.github/workflows/label-pr-on-merge-bot.yml
vendored
Normal file
16
.github/workflows/label-pr-on-merge-bot.yml
vendored
Normal file
@ -0,0 +1,16 @@
|
||||
name: Label PR on Merge Bot Action
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
types: [ closed ]
|
||||
|
||||
jobs:
|
||||
label_pr_job:
|
||||
if: github.event.pull_request.merged == true
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Label PR on Merge Bot
|
||||
uses: abhijithvijayan/label-pr-on-merge-bot@v2
|
||||
with:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
merged_label: '🚀 merged'
|
||||
Loading…
x
Reference in New Issue
Block a user