[wp-meta] [Making WordPress.org] #6555: Restore the Edit functionality for PR bot comments on Trac
Making WordPress.org
noreply at wordpress.org
Mon Oct 31 07:39:59 UTC 2022
#6555: Restore the Edit functionality for PR bot comments on Trac
-------------------------+---------------------
Reporter: dd32 | Owner: dd32
Type: enhancement | Status: closed
Priority: normal | Milestone:
Component: Trac | Resolution: fixed
Keywords: has-patch |
-------------------------+---------------------
Comment (by dd32):
In [changeset:"12170" 12170]:
{{{
#!CommitTicketReference repository="" revision="12170"
Trac: PR Bot: Better formatting for when a comment is synced over from
GitHub to Trac.
See #6555.
}}}
--
Ticket URL: <https://meta.trac.wordpress.org/ticket/6555#comment:4>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org
More information about the wp-meta
mailing list