-
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>
Herbert Valerio Riedel authoredIn 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:
Loading