PR Bot: Auto-generate a props list from activity on GitHub PR/s

[peterwilsoncc]

As a lot of WordPress-Develop contributions happen on GitHub these days, it would be handy if the prbot could maintain a list of usernames that ought to be included in props upon commit.

This would be particularly handy for activity that isn't cross-posted to trac such as some review activity.

To aid committers giving props, it would be helpful if the usernames could be converted to their wordpress.org counterparts if the two are linked. For example the github user jrfnl would be listed as jrf to ensure Juliette is propped correctly.

An alternative approach could be to check PRs as a post-commit hook and add any names that have been missed to the props content-type in make/core.

[jrf]

💯

On that note - I also keep noticing that while "normal" comments on GH get cross-posted to Trac, PR reviews and review comments (and possibly replies) do not get cross-posted. This means that Trac always only has a partial conversation if a PR lives on GitHub (and makes it very easy to miss contributors).

[dd32]

In 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.

[dd32]

See ​https://core.trac.wordpress.org/ticket/54316 for me testing the above

[jrf]

@dd32 That was fast 😁

[dd32]

Replying to jrf:

@dd32 That was fast 😁

Some things are faster to do than others.. like handling PR comments.. :)