When I connect a teams for education repl to Github, it looks like the lesson materials get synced to the .lesson directory, which is cool. But… what about the tests and solutions? Are they not synced to Github at all, or am I missing them?
It seems possible that I’d need to connect the solution to Github separately, which is annoying but fine, I guess. Missing the tests seems like a bigger stopper - if they can’t be exported, then I don’t think I’ll write any more tests using the replit test feature, it’s not good enough of a student experience vs. the cost of lock-in.