We don't use circle-ci, so we can probably just remove that folder.
We don't use circle-ci, so we can probably just remove that folder.