If your nephew is using VSCode, I think adding a repo shouldn't be very hard? Or perhaps that's the more insidious underbelly being exposed. It's like when sch

If your nephew is using VSCode, I think adding a repo shouldn't be very hard? Or perhaps that's the more insidious underbelly being exposed. It's like when schools teach a specific tool, instead of generic tools. The students only know that one thing.