[wp-meta] [Making WordPress.org] #5057: Remove comments from pull request description

[Making WordPress.org]

#5057: Remove comments from pull request description
---------------------------+---------------------
 Reporter:  isabel_brison  |       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:"9539" 9539]:
 {{{
 #!CommitTicketReference repository="" revision="9539"
 Trac: Github PRs: Filter out HTML comments and standard code-review-only
 boilerplate from PR descriptions before posting them to Trac.

 Props isabel_brison for the suggestion.
 Fixes #5057.
 }}}

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