[Git][ghc/ghc] Pushed new branch wip/int-index/deprecate-pattern-namespace-specifier