We'll move to CircleCI when we find an active maintainer who wants to push new releases.