Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
do not exit migrate.py after successfully removing git user in Docker
This fix may have never worked. I don't understand as I know we tested extensively. Perhaps it updated and then migrate was run again by another process after the user was removed.
- Loading branch information