[wp-meta] [Making WordPress.org] #6533: PR Bot: Auto-generate a props list from activity on GitHub PR/s

[Making WordPress.org]

#6533: PR Bot: Auto-generate a props list from activity on GitHub PR/s
---------------------------+---------------------
 Reporter:  peterwilsoncc  |       Owner:  (none)
     Type:  defect (bug)   |      Status:  new
 Priority:  normal         |   Milestone:
Component:  Trac           |  Resolution:
 Keywords:                 |
---------------------------+---------------------

Comment (by dd32):

 In [changeset:"12116" 12116]:
 {{{
 #!CommitTicketReference repository="" revision="12116"
 API: Trac GitHub Integration: When we know the WordPress.org user whose
 comments we're syncing from GitHub, link to the WordPress.org user rather
 than the GitHub user.

 See #6533.
 }}}

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