And to be fair he's been a professor for years, not a developer.

When I took my undergrad roughly a decade ago, github was already a thing but our courses were still using subversion.

Academia is slow to adopt new tools.