[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 6 commits: Fix two issues in the documentation of pipeline interruption