[wp-meta] [Making WordPress.org] #5596: Trac: "My patches" report does not include GitHub PRs

[Making WordPress.org]

#5596: Trac: "My patches" report does not include GitHub PRs
--------------------+---------------------
 Reporter:  ryelle  |       Owner:  (none)
     Type:  defect  |      Status:  new
 Priority:  low     |   Milestone:
Component:  Trac    |  Resolution:
 Keywords:          |
--------------------+---------------------

Comment (by dd32):

 That report is designed to pull directly from the `attachmets` trac table,
 and there's no DB table with a list of the PRs.

 I guess we could do something like `WHERE ticket_id IN ( tickets with
 attachments by $USER UNION tickets with comments by prbot containing data-
 wporg-user="$USER")` which wouldn't be the best performance wise.. but..
 might be okay

 The other lazier option, would be to simply link off to api endpoint which
 redirects back to something
 [https://core.trac.wordpress.org/query?id=47894&or&id=47895 like this] for
 the GitHub PR'd tickets.

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