Undelete it once you've hand-migrated to travis-ci.com