[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:  dd32
     Type:  defect           |      Status:  closed
 Priority:  normal           |   Milestone:
Component:  Trac             |  Resolution:  fixed
 Keywords:                   |
-----------------------------+---------------------
Changes (by dd32):

 * owner:  (none) => dd32
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"9877" 9877]:
 {{{
 #!CommitTicketReference repository="" revision="9877"
 Trac: Github PRs: Actually filter out HTML comments.

 This commit message is longer than the fix.

 Amends [9539].
 See #5057.
 Fixes #5213.
 }}}

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