Revert PR #1527: remove one-time defaultEnvManager User-settings migration
#2845
| Job | Run time |
|---|---|
| 0s |
defaultEnvManager User-settings migration
#2845
| Job | Run time |
|---|---|
| 0s |