Skip to content

Conversation

@Turbo87
Copy link
Member

@Turbo87 Turbo87 commented May 3, 2025

Reverts #11017

Turns out we actually need something different... I'll implement that in a follow-up PR 😅

@Turbo87 Turbo87 added C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear A-backend ⚙️ labels May 3, 2025
@Turbo87 Turbo87 enabled auto-merge (squash) May 3, 2025 13:16
@Turbo87 Turbo87 merged commit 921c732 into main May 3, 2025
9 checks passed
@Turbo87 Turbo87 deleted the revert-11017-github-repos branch May 3, 2025 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-backend ⚙️ C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants