[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 4 commits: hie.yaml: use a polyglot shell/batch script