Skip to content

Revert "chore: cherry-pick appropriate changes from upstream"#3158

Merged
NotMyFault merged 1 commit intomainfrom
revert-3137-chore/upstream-updates
Apr 5, 2025
Merged

Revert "chore: cherry-pick appropriate changes from upstream"#3158
NotMyFault merged 1 commit intomainfrom
revert-3137-chore/upstream-updates

Conversation

@NotMyFault
Copy link
Copy Markdown
Collaborator

Reverts #3137

@NotMyFault NotMyFault requested a review from a team as a code owner April 5, 2025 10:11
@github-actions github-actions Bot added the chore label Apr 5, 2025
@NotMyFault NotMyFault merged commit 4f114a6 into main Apr 5, 2025
4 of 8 checks passed
@NotMyFault NotMyFault deleted the revert-3137-chore/upstream-updates branch April 5, 2025 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant