I am so glad my Twitter is dead because I do not want to see the wailing and gnashing of teeth over Microsoft buying GitHub.