CircleCI で洩れた secret の対応はそれはそれとしてやってるが、 CircleCI からの撤退もすみやかに進めている。