ruff
switch the playground repo button to ty repo
#18228

Merged

switch the playground repo button to ty repo #18228

MichaReiser merged 2 commits into main from cjm/repo-button

switch the playground repo button to ty repo

d9d58366

carljm requested a review from

MichaReiser 206 days ago

carljm added internal

MichaReiser requested changes on 2025-05-20

carljm assigned

MichaReiser 206 days ago

AlexWaygood added ty

Parametrize RepoButton

d9b5dfc9

MichaReiser approved these changes on 2025-05-21

MichaReiser enabled auto-merge (squash) 206 days ago

MichaReiser merged 7b253100 into main 206 days ago

MichaReiser deleted the cjm/repo-button branch 206 days ago

Reviewers

MichaReiser

Assignees

MichaReiser

Labels

internal ty

Milestone

No milestone