[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: ci: remove duplicate keys in .gitlab-ci.yml