[wp-meta] [Making WordPress.org] #3263: Zips for deleted plugin tags not deleted

[Making WordPress.org]

#3263: Zips for deleted plugin tags not deleted
------------------------------+-------------------------------------------
 Reporter:  Ipstenu           |       Owner:  dd32
     Type:  defect            |      Status:  reviewing
 Priority:  normal            |   Milestone:  Plugin Directory v3 - Future
Component:  Plugin Directory  |  Resolution:
 Keywords:  needs-patch       |
------------------------------+-------------------------------------------

Comment (by dd32):

 Not entirely sure, but I wouldn't call this low effort, it's also likely
 to have some issues around race conditions of people deleting tags and re-
 creating them.

 I don't personally believe we need to delete these ZIPs either though, as
 keeping them around causes no issues.

-- 
Ticket URL: <https://meta.trac.wordpress.org/ticket/3263#comment:3>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org