Travis CI から Circle CI へ乗り移った

業務では社内の CI ツールを使っているため、社外で使われている CI ツールはあまり慣れていない。（なんでも社内のツールで最適化していくとエンジニアとしての視野を奪われているような気がする）

Travis CI をレポジトリ全体ではなく、個別に設定していたのだが、Travis CI からはアンインストールする設定がなく、やや戸惑った。

しかし、GitHub の設定を見てみたら、該当のレポジトリに Travis CI の設定が入っていた。これを削除すると、Travis CI との連携が解除でき、Travis CI の UI からも表示されなくなった。