-
Herbert Valerio Riedel authored
In the future, some script will use the last column to configure Git to redirect `push` operations to the respective primary Git repo. One way could be via the `pushInsteadOf` facility described in https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
d7a228b1