Skip to content

Do not merge commits without PR number or with PR number set to "0".

d143283
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Do not merge commits without PR number or with PR number set to "0". #2705

Do not merge commits without PR number or with PR number set to "0".
d143283
Select commit
Loading
Failed to load commit list.
mypy
succeeded Feb 2, 2026 in 1m 23s