[wp-meta] [Making WordPress.org] #4903: Show Github PRs on Trac

[Making WordPress.org]

#4903: Show Github PRs on Trac
--------------------+---------------------
 Reporter:  dd32    |       Owner:  (none)
     Type:  defect  |      Status:  new
 Priority:  normal  |   Milestone:
Component:  Trac    |  Resolution:
 Keywords:          |
--------------------+---------------------

Comment (by dd32):

 See also [9356] which still hasn't actually been deployed
 {{{
 Trac: Increase the padding of the 'chat-bot' comments (slackbot, etc) by
 1px to hide the underline from the parent element.
 This also hides the comment action buttons since they're not useful here.
 }}}

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