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