This PR makes the playground follow its own playground branch, instead of main.
This has become necessary because some fixes we want to add to main break the playground, because of some upstream issues in the tree-sitter library. Unfortunately, we currently lack the expertise to address those issues, yet we still want to keep updating main.
Description
This PR makes the playground follow its own
playgroundbranch, instead ofmain.This has become necessary because some fixes we want to add to
mainbreak the playground, because of some upstream issues in thetree-sitterlibrary. Unfortunately, we currently lack the expertise to address those issues, yet we still want to keep updatingmain.Checklist
Checklist before merging: