Making WordPress.org

Opened 12 months ago

Last modified 12 months ago

#5596 new defect

Trac: "My patches" report does not include GitHub PRs

Reported by: ryelle Owned by:
Milestone: Priority: low
Component: Trac Keywords:


If I look for tickets I've worked on using this report: https://core.trac.wordpress.org/my-patches, I don't see the tickets that have github PRs attached.

For example, you can view the report for my username, and see that #47895 is not in the list.

I can see my own PRs on github, so there is a functional workaround, but it would be nice to have all in one place.

Change History (1)

#1 @dd32
12 months ago

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.
(edit: Note that the PR prbot comments don't seem to include the wporg username of the PR submitter right now :( I thought it was supposed to.. )

The other lazier option, would be to simply link off to api endpoint which redirects back to something like this for the GitHub PR'd tickets.

Last edited 12 months ago by dd32 (previous) (diff)
Note: See TracTickets for help on using tickets.