mirror of
https://github.com/abhijithvijayan/web-extension-starter.git
synced 2026-01-30 09:48:12 +01:00
feat: add merged PR labeller bot
This commit is contained in:
parent
be3398fcf0
commit
43010ced8a
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