Skip to content

Conversation

@makubacki
Copy link
Owner

Test PR change

The current contribution flow requires a `push` label for a pull
request to be merged. Only a user with write access can add the
`push` label such as a maintainer. However, the `push` label
is "sticky" and stays on the pull request from that point on.

It was recently decided that the user adding the push label should
always have to explicitly do so prior to merge. If a pull request
is updated (by the PR author or, simply with a rebase), someone
must reverify the contents and add the `push` label again. This
means `push` labels will need to be added much more often to PRs.

This prevents a "time-of-check-time-of-merge" torn state in the
pull request contribution flow.

Signed-off-by: Michael Kubacki <michael.kubacki@microsoft.com>
@makubacki makubacki added the push label Nov 18, 2025
@makubacki makubacki force-pushed the add_reset_push_label_gh_workflow_test_pr branch from ef78bea to 4a6c6ad Compare November 18, 2025 14:38
@github-actions github-actions bot removed the push label Nov 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants