Revert "WTF is wrong with github"

This reverts commit a874a81dd8b1df8919771a6d953ddda214f13948.