[wp-meta] [Making WordPress.org] #5213: Strip HTML comments from PR comments pushed to Trac tickets

[Making WordPress.org]

#5213: Strip HTML comments from PR comments pushed to Trac tickets
-----------------------------+---------------------
 Reporter:  garrett-eclipse  |       Owner:  (none)
     Type:  defect           |      Status:  new
 Priority:  normal           |   Milestone:
Component:  Trac             |  Resolution:
 Keywords:                   |
-----------------------------+---------------------
Changes (by ocean90):

 * type:  enhancement => defect


Comment:

 This should already be the case since [9539] but looks like there are
 cases which aren’t handled yet.

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