#5350: Is it possible to delete a build that's been pushed to stable ?

[Fedora Release Engineering]

#5350: Is it possible to delete a build that's been pushed to stable ?
----------------------+------------------------
 Reporter:  jpopelka  |       Owner:  rel-eng@…
     Type:  task      |      Status:  new
Milestone:            |   Component:  koji
 Keywords:            |  Blocked By:
 Blocking:            |
----------------------+------------------------
 Hi,

dhcp-4.2.4-1.P2.fc16 has been mistakenly pushed to stable without any
 karma.
 Now we know the dhclient is not working at all !

Fix is on the way
 https://admin.fedoraproject.org/updates/dhcp-4.2.4-3.P2.fc16
 but I wonder if I (you) could somehow unpush the dhcp-4.2.4-1.P2.fc16
 before the fix reaches stable.
 'koji untag-pkg f16-updates dhcp-4.2.4-1.P2.fc16' requires admin
 permission.

Thank you

[Fedora Release Engineering]

#5350: Is it possible to delete a build that's been pushed to stable ?
-----------------------+-----------------------
  Reporter:  jpopelka  |      Owner:  rel-eng@…
      Type:  task      |     Status:  new
 Milestone:            |  Component:  koji
Resolution:            |   Keywords:
Blocked By:            |   Blocking:
-----------------------+-----------------------

Comment (by sharkcz):

builds can't be unpushed, you need to submit a build with higher NVR
 reverting the wrong change

[Fedora Release Engineering]

#5350: Is it possible to delete a build that's been pushed to stable ?
-----------------------+-----------------------
  Reporter:  jpopelka  |      Owner:  rel-eng@…
      Type:  task      |     Status:  closed
 Milestone:            |  Component:  koji
Resolution:  invalid   |   Keywords:
Blocked By:            |   Blocking:
-----------------------+-----------------------
Changes (by kevin):

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

Comment:

Yeah, sorry, we can't unpush from stable. ;(