The lack of jokes connecting ‘GitHub’ and ‘hub for gits’ is deeply disappointing.