[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 8 commits: ci: move hadrian/ghci into the lint category so it can be picked up by more runners