Closed pitaj closed 9 months ago
also don't re-add labels if they're manually removed
labels are not always set atomically when opening a PR example: rust-lang/miri#3059
Forge change: https://github.com/rust-lang/rust-forge/pull/701
also don't re-add labels if they're manually removed
labels are not always set atomically when opening a PR example: rust-lang/miri#3059
Forge change: https://github.com/rust-lang/rust-forge/pull/701