I lied. Now Github works.