Update Git repo URL in `base.cabal`

This is related to #8121