Skip to content

Revert "enforcing labels in PR before merge"#7366

Merged
mscolnick merged 1 commit into
mainfrom
revert-7315-sham/force-pr-labels-before-merge
Dec 1, 2025
Merged

Revert "enforcing labels in PR before merge"#7366
mscolnick merged 1 commit into
mainfrom
revert-7315-sham/force-pr-labels-before-merge

Conversation

@mscolnick
Copy link
Copy Markdown
Contributor

Reverts #7315

@mscolnick mscolnick requested a review from manzt as a code owner December 1, 2025 20:11
@vercel
Copy link
Copy Markdown

vercel Bot commented Dec 1, 2025

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Comments Updated (UTC)
marimo-docs Ready Ready Preview Comment Dec 1, 2025 8:11pm

@mscolnick mscolnick merged commit 68535c3 into main Dec 1, 2025
4 of 7 checks passed
@mscolnick mscolnick deleted the revert-7315-sham/force-pr-labels-before-merge branch December 1, 2025 20:11
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.

1 participant