Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 49 additions & 0 deletions .github/workflows/reset-push-label.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
# This workflow removes the "push" label from a pull request when it is updated.
#
# A maintainer is expected to re-add the "push" label if the changes are ready to
# be merged after the update. This is to ensure that any new changes prior to
# merging have been reviewed by the maintainer.
#
# Copyright (c) Microsoft Corporation.
# SPDX-License-Identifier: BSD-2-Clause-Patent
#

name: Reset Push Label on PR Update

on:
pull_request:
types: [synchronize]

jobs:
reset-push-label:
name: Remove Push Label if Present
if: github.repository_owner == 'makubacki'
runs-on: ubuntu-latest

permissions:
pull-requests: write

steps:
- name: Reset push label
uses: actions/github-script@v7
with:
script: |
const labels = await github.rest.issues.listLabelsOnIssue({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number
});

const hasPushLabel = labels.data.some(label => label.name === 'push');

if (hasPushLabel) {
await github.rest.issues.removeLabel({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
name: 'push'
});
console.log('Removed "push" label from PR #' + context.issue.number);
} else {
console.log('No "push" label found on PR #' + context.issue.number);
}
3 changes: 3 additions & 0 deletions MdePkg/MdePkg.dec
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,9 @@
#
##

# Simple PR change

# Another test change

[Defines]
DEC_SPECIFICATION = 0x00010005
Expand Down