Recommitting changes before GitHub broke again