[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           |   Keywords:
---------------------------+--------------------
 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.

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