Clean up the devbox checkout