Skip to content

Revert "First-class GitHub team reviews"#487507

Merged
mdaniels5757 merged 1 commit intomasterfrom
revert-456481-first-class-team-reviews
Feb 6, 2026
Merged

Revert "First-class GitHub team reviews"#487507
mdaniels5757 merged 1 commit intomasterfrom
revert-456481-first-class-team-reviews

Conversation

@mdaniels5757 mdaniels5757 added this pull request to the merge queue Feb 6, 2026
@mdaniels5757 mdaniels5757 removed this pull request from the merge queue due to a manual request Feb 6, 2026
@mdaniels5757
Copy link
Member Author

@zowoq
Copy link
Contributor

zowoq commented Feb 6, 2026

I'll close and reopen to retry CI in this PR.

@zowoq zowoq closed this Feb 6, 2026
@zowoq zowoq reopened this Feb 6, 2026
@zowoq
Copy link
Contributor

zowoq commented Feb 6, 2026

Still failing here and #487506.

@mdaniels5757
Copy link
Member Author

Ah! https://github.com/NixOS/nixpkgs/actions/runs/21736909443/job/62704023950 has neither users nor teams to request, and the others do have users or teams to request.

We should merge this, then.

@mdaniels5757 mdaniels5757 added this pull request to the merge queue Feb 6, 2026
Merged via the queue into master with commit f8debdc Feb 6, 2026
105 of 108 checks passed
@mdaniels5757 mdaniels5757 deleted the revert-456481-first-class-team-reviews branch February 6, 2026 03:11
@mdaniels5757
Copy link
Member Author

@infinisil
Copy link
Member

Sorry for the problem!

Another try in #487955

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.

3 participants