Merge `main` into `release/6.3`#1108

Closed

github-actions[bot] wants to merge 16 commits intorelease/6.3from

automerge/merge-main-2025-12-08_09-12

Commits on Nov 13, 2025

Commits on Nov 14, 2025

Merge pull request #1090 from ahoppen/format-pilot-projects
ahoppen
authored
print lint location and message in plain bold instead of white (#1092)

QuietMisdreavus
and
allevato
authored
Order conditionally-compiled imports (#1077)
a7medev
authored

Commits on Nov 16, 2025

Normalize release version to x.y.z in auto-update-version action
TTOzzi
committed

Commits on Nov 17, 2025

Merge pull request #1095 from TTOzzi/fix-update-version-action
bnbarham
authored

Commits on Nov 20, 2025

Update release automerge from 6.2 to 6.3
bnbarham
committed

Commits on Nov 24, 2025

Format source code and run `git diff` instead of listing first
ahoppen
committed

Commits on Nov 26, 2025

Respect indentBlankLines when stripping whitespace inside block comment blank lines
TTOzzi
committed

Commits on Nov 27, 2025

Keep attributed getters intact in UseSingleLinePropertyGetter
TTOzzi
committed