Is this a bug or a feature? Delete all references to Circle CI. Use GitHub exclusively going forward.