[wp-meta] [Making WordPress.org] #5054: GitHub integration: Sync pull request description

[Making WordPress.org]

#5054: GitHub integration: Sync pull request description
-------------------------+---------------------
 Reporter:  noisysocks   |       Owner:  (none)
     Type:  enhancement  |      Status:  new
 Priority:  normal       |   Milestone:
Component:  Trac         |  Resolution:
 Keywords:               |
-------------------------+---------------------

Comment (by dd32):

 In [changeset:"9532" 9532]:
 {{{
 #!CommitTicketReference repository="" revision="9532"
 Trac: Github PRs: Enable email notifications for the new-PR-linked
 comment.

 See #5054.
 }}}

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