[wp-meta] [Making WordPress.org] #3276: Adding special keyword for themes with `holiday` tag

[Making WordPress.org]

#3276: Adding special keyword for themes with `holiday` tag
--------------------------+---------------------
 Reporter:  rabmalin      |       Owner:  dd32
     Type:  enhancement   |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  Theme Review  |  Resolution:  fixed
 Keywords:  has-patch     |
--------------------------+---------------------

Comment (by rabmalin):

 Replying to [comment:7 dd32]:
 > That should be enough to make https://themes.trac.wordpress.org/report/6
 work I think (Let me know if that report needs altering and you don't have
 access)
 >
 > However, note that because like I said, it's a wildcard search, some
 non-holiday themes will show up there
 [https://themes.trac.wordpress.org/query?keywords=~holiday when the theme
 name contains holiday]

 Thanks for the commit. I understand your point. We now have at least
 separate report to monitor the tickets. If non-holiday themes comes in the
 report, we will handle manually.

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