Why should you be worried? Does he does something else or just teaches? if he just teaches then that's probably his passion while programming could be a hobby.

Why should you be worried? Does he does something else or just teaches? if he just teaches then that's probably his passion while programming could be a hobby. If he also does works he probably works into corporate where something like GitHub wouldn't be used since it's for free (or open source) software.