Add support for default_profile in [settings] section#698

Merged

simonfaltum merged 16 commits intomainfrom

default-profile

Apr 16, 2026

Commits on Mar 11, 2026

Commits on Mar 16, 2026

Commits on Mar 25, 2026

Merge branch 'main' into default-profile
simonfaltum
authored

Commits on Mar 28, 2026

Commits on Apr 7, 2026

Merge branch 'main' into default-profile
simonfaltum
authored

Commits on Apr 9, 2026

Merge main and regenerate maven lockfile
simonfaltum
committed

Commits on Apr 10, 2026

Merge branch 'main' into default-profile
simonfaltum
authored

Commits on Apr 16, 2026

Merge branch 'main' into default-profile
simonfaltum
authored