#4272: finished with dist-f15-ghc for ghc-7.0.1 rebuilding

[Fedora Release Engineering]

#4272: finished with dist-f15-ghc for ghc-7.0.1 rebuilding
----------------------+-----------------------------------------------------
 Reporter:  petersen  |       Owner:  rel-eng(a)lists.fedoraproject.org
     Type:  task      |      Status:  new                            
Milestone:            |   Component:  koji                           
 Keywords:            |  
----------------------+-----------------------------------------------------
 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

-- 
Ticket URL: <https://fedorahosted.org/rel-eng/ticket/4272>
Fedora Release Engineering <http://fedorahosted.org/rel-eng>
Release Engineering for the Fedora Project

[Fedora Release Engineering]

#4272: finished with dist-f15-ghc for ghc-7.0.1 rebuilding
-----------------------+----------------------------------------------------
  Reporter:  petersen  |       Owner:  rel-eng(a)lists.fedoraproject.org
      Type:  task      |      Status:  closed                         
 Milestone:            |   Component:  koji                           
Resolution:  fixed     |    Keywords:                                 
-----------------------+----------------------------------------------------
Changes (by ausil):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 i have deleted the target so you can no longer build in dist-f15-ghc

 thanks Dennis

-- 
Ticket URL: <https://fedorahosted.org/rel-eng/ticket/4272#comment:1>
Fedora Release Engineering <http://fedorahosted.org/rel-eng>
Release Engineering for the Fedora Project