Revert "Breaking github again?"

This reverts commit ce502b0fd5c085055d8f3e1fa31a6a51e3ab7209.