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

Comment (by 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).

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