WordPress.org

Making WordPress.org

Opened 2 months ago

Last modified 2 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:
Cc:

Description

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
2 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 2 months ago by dd32 (previous) (diff)
Note: See TracTickets for help on using tickets.