Opened 19 months ago

Closed 19 months ago

Last modified 12 months ago

#6555 closed enhancement (fixed)

Restore the Edit functionality for PR bot comments on Trac

Reported by: dd32's profile dd32 Owned by: dd32's profile dd32
Milestone: Priority: normal
Component: Trac Keywords: has-patch


The PR bot comments currently do not support editing the comment, sometimes this would be helpful though as Trac formatting doesn't always come over well.

For example,

The attached PR will restore the Edit button and the editor, for users with comment editing capabilities only.

Change History (5)

This ticket was mentioned in PR #105 on WordPress/ by @dd32.

19 months ago

  • Keywords has-patch added

#2 @dd32
19 months ago

  • Owner set to dd32
  • Resolution set to fixed
  • Status changed from new to closed

In 12168:

Trac: Allow editing PR bot comments.

Fixes #6555.

#3 @dd32
19 months ago

In 12169:

Trac: PRs: Convert GitHub tables to Trac tables.

This format conversion isn't perfect, but should hanel the majority of the bad formatting tables can generate.

See #6555.

#4 @dd32
19 months ago

In 12170:

Trac: PR Bot: Better formatting for when a comment is synced over from GitHub to Trac.

See #6555.

#5 @dd32
12 months ago

In 12627:

Trac: PRs: Try to convert tables, again?

See #6555

Note: See TracTickets for help on using tickets.