bd82
commented
12 months ago - Could a simplified separate repo combined with gitpod / GH spaces link/config be easier to use for "playground" purposes?
- What about life-cycle management issues between multiple repos?
See: https://github.com/Chevrotain/chevrotain/discussions/1887#discussioncomment-4219208