Valerio Riedel
| Sent: 19 August 2013 23:46
| To: ghc-devs
| Subject: DNS entry for git.haskell.org active now!
|
| 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
| 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
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, the URLs to use for `sync-all` to fetch via
git://, http://, or ssh:// (ordered by
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,