Yes, you are right, which is why I didnt say that, should have been more explicit and mention that it was possible. Esp if it was a first year project and someone had a decade of programming exp already (but then the lack of versioning us weird, but also not impossible, as coding vs project management are different skills).
E: But it gets weirder : https://xcancel.com/gmchariszhang/status/1886361422445138099#m they were using git. Indeed https://xcancel.com/martinmalindacz/status/1886390223141048749#m