PR labels

Revert PR #1527: remove one-time `defaultEnvManager` User-settings migration #1547

Sign in to view logs

This workflow is awaiting approval from a maintainer in #1612

Triggered via pull request June 25, 2026 02:46

Copilot

opened #1612

copilot/reverse-mitigation-1527

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #1612

pr-labels.yml

on: pull_request

Ensure Required Labels