sync-all broken when using the GitHub mirror
Making a fresh checkout using the GitHub mirror:
$ git clone git@github.com:tibbe/ghc.git
$ ./sync-all get
== running git config core.ignorecase true
== running git clone git@github.com:tibbe/ghc-tarballs.git ghc-tarballs
Cloning into 'ghc-tarballs'...
ERROR: Repository not found.
fatal: The remote end hung up unexpectedly
git failed: 32768 at ./sync-all line 178.
== Checking for old haddock repo
== Checking for old binary repo
== Checking for old mtl repo
== Checking for old Cabal repo
== Checking for old time from tarball
============================
ATTENTION!
You have an old time package in your GHC tree!
Please remove it (e.g. "rm -r libraries/time"), and then run
"./sync-all get" to get the new repository.
============================Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.7 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Build System |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |