Skip to content

Undo accidental push to master#14894

Merged
edolstra merged 2 commits intomasterfrom
undo-push
Dec 30, 2025
Merged

Undo accidental push to master#14894
edolstra merged 2 commits intomasterfrom
undo-push

Conversation

@edolstra
Copy link
Member

Motivation

This reverts two commits that I accidentally pushed to master. I'd do a force-push to get rid of them, but we have an organization-wide rule that prevents force pushes.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

@github-actions github-actions bot added the with-tests Issues related to testing. PRs with tests have some priority label Dec 30, 2025
@edolstra edolstra enabled auto-merge December 30, 2025 18:13
Copy link
Contributor

@xokdvium xokdvium left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would be nice to prevent pushes to master for this to not happen in the future.

Copy link
Contributor

@Radvendii Radvendii left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Confirmed that the diff between this and master^^ is empty

@edolstra
Copy link
Member Author

Would be nice to prevent pushes to master for this to not happen in the future.

I've enabled the setting that prevents admins from bypassing branch protection.

@edolstra edolstra added this pull request to the merge queue Dec 30, 2025
Merged via the queue into master with commit dd75397 Dec 30, 2025
19 checks passed
@edolstra edolstra deleted the undo-push branch December 30, 2025 19:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

with-tests Issues related to testing. PRs with tests have some priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants