Remerge after conversion fixups
This is redoing the merges of !730 and !733, together with CI improvements (known_hosts etc.)
Push publication together with closing the previous head of the heptapod
branch.
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
This is redoing the merges of !730 and !733, together with CI improvements (known_hosts etc.)
Push publication together with closing the previous head of the heptapod
branch.