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

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.