I deleted a branch but it's still on CircleCI