WordPress.org
Get WordPress

Making WordPress.org

Opened 2 years ago

Closed 2 years ago

Last modified 16 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
Cc:

Description

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, https://meta.trac.wordpress.org/ticket/3937#comment:15

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/wordpress.org by ​@dd32.
2 years ago #1

  • Keywords has-patch added

Trac Ticket: https://meta.trac.wordpress.org/ticket/6555

#2 @dd32
2 years ago

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

In 12168:

Trac: Allow editing PR bot comments.

Closes ​https://github.com/WordPress/wordpress.org/pull/105.
Fixes #6555.

#3 @dd32
2 years 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 https://meta.trac.wordpress.org/ticket/3937#comment:16
See #6555.

#4 @dd32
2 years ago

In 12170:

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

See #6555.

#5 @dd32
16 months ago

In 12627:

Trac: PRs: Try to convert tables, again?

See #6555

Note: See TracTickets for help on using tickets.