not my experience. They all use git for everything after their first programming discipline. Specially after the first time they miss some assignment due to a broken laptop or confusion over manually saved versions. And they learned git when I was still using svn (decades ago)