Closed rchl closed 1 year ago
I didn't bother before because I thought they switched to pull diagnostics but that PR is lingering open.
Try to use "squash and merge" since it includes PR number in the title then for reference.
Will do
I didn't bother before because I thought they switched to pull diagnostics but that PR is lingering open.