ci: catch-up posts once per head, says less, and merges inserted declarations - #15018

ci: catch-up posts once per head, says less, and merges inserted declarations#15018

teamleaderleo merged 3 commits into

mainmanaflow-ai/cmux:mainfrom

ci/catch-up-quieter-smartermanaflow-ai/cmux:ci/catch-up-quieter-smarterCopy head branch name to clipboard