Github migration of Cabal repo is problematic