Learn more about these different git repos.
Other Git URLs
Most of the ghc-7.0.1 rebuilds are completed now and I have just moved 53 package builds from dist-f15-ghc into dist-f15.
So please turn off dist-f15-ghc now to save on newRepo.
There are still a couple of unneeded builds tagged dist-f15-ghc. If that is a problem I can quick move/untag them.
Thanks, Jens
i have deleted the target so you can no longer build in dist-f15-ghc
thanks Dennis
Login to comment on this ticket.