Thanks. Some quick questions
1. What's the difference between ghc.haskell.org and git.haskell.org?
2. Is there anything to choose between these two?
./sync-all -r git://git.haskell.org remote set-url origin
./sync-all -rhttp://git.haskell.org remote set-url origin
3. The
| However, in order to facilitate future migrations, git.haskell.org
| should be used, as then we could relocate git.haskell.org to a different
| IP without needing to update the URLs in all documents again.
Why? If we only had ghc.haskell.org, we could just migrate that couldn't we?
Or are
On 2013-08-20 at 09:48:48 +0200, Simon Peyton-Jones wrote:
| However, in order to facilitate future migrations, git.haskell.org
| should be used, as then we could relocate git.haskell.org to a different
| IP without needing to update the URLs in all documents again.
Why? If we only had
Thank you Herbert!
On Monday, August 19, 2013, Herbert Valerio Riedel wrote:
Hello GHC Devs,
Hopefully, the new DNS entry for git.haskell.org should be visible for
all of you by the time you read this. This mostly completes the
migration part of the GitolitePlan[1].
With the new hostname,