Commit d7a228b1 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺
Browse files

Set/update upstream repo url for haddock

In the future, some script will use the last column to configure
Git to redirect `push` operations to the respective primary Git

One way could be via the `pushInsteadOf` facility described in

Signed-off-by: Herbert Valerio Riedel's avatarHerbert Valerio Riedel <>
parent dd994347
......@@ -26,7 +26,10 @@
# * 'remotepath' is where the repository is in the central repository.
# It is - for submodules.
# * 'upstreamurl' is the upstream Git repo location for packages
# maintained outside of GHC HQ.
# maintained outside of GHC HQ. Repositories which are hosted on
# GitHub and GHC developers are granted push-rights for are denoted by
# being specified with the `ssh://` scheme. Thus, `https://`
# repo urls denote read-only access.
# * The 'tag' determines when "sync-all get" will get the
# repo. If the tag is "-" then it will always get it, but if there
......@@ -47,7 +50,7 @@
ghc-tarballs windows ghc-tarballs.git -
libffi-tarballs - libffi-tarballs.git -
utils/hsc2hs - hsc2hs.git -
utils/haddock - - -
utils/haddock - - ssh://
libraries/array - packages/array.git -
libraries/binary - -
libraries/bytestring - -
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment