CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-11-07 03:38:53 -05:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Add changelog label to merged PRs (#3664)" (#3702)

Browse Source 
This reverts commit 3d7ff7a149064bae03a1180ead9739d19d24816c.
This commit is contained in:
jack1142 2020-03-28 23:06:41 +01:00 committed by GitHub
parent 3f7c2e8842
commit cf31c22e5d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
.github/workflows/add_changelog_label.yaml vendored
View File

@ -1,26 +0,0 @@
name: Add changelog label to merged PR
on:
pull_request:
types: [closed]
jobs:
build:
if: github.event.pull_request.merged
runs-on: ubuntu-latest
steps:
- name: Apply label
uses: actions/github-script@0.4.0
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
const is_changelog_label = (label) => label.name.startsWith('Changelog Entry: ');
if (context.payload.pull_request.labels.some(is_changelog_label)) {
console.log('Issue already has Changelog Entry label, skipping...');
return;
}
github.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: ['Changelog Entry: Pending']
});