[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 13 commits: Fix output of T14999 (#23685)