[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 15 commits: Don't fail when ghcversion.h can't be found (#26018)