Revert "Test whether github still works."

This reverts commit 1f2213f51ad1a366deabd9693f5890e18251eb69.