Revert PR #1527: remove one-time defaultEnvManager User-settings migration
#421
This workflow is awaiting approval from a maintainer in #1612
This workflow is awaiting approval from a maintainer in #1612
pr-file-check.yml
on: pull_request
Check for changed files