Revert "Github goes boom. Hopefully not."

This reverts commit 65927e53eff0ffeaeddb0f52c8cee8d0b224f7ef.