Goyslop/web-extension-starter
Template
1
0
Fork 0
mirror of https://github.com/abhijithvijayan/web-extension-starter.git synced 2025-10-07 07:22:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

chore: remove useless bot

Browse Source
This commit is contained in:
Abhijith Vijayan 2022-06-12 21:49:06 +05:30 committed by GitHub
parent 6a9c1c542d
commit 1feddd4f45
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/label-pr-on-merge-bot.yml vendored
View File

@ -1,16 +0,0 @@
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'