[wp-meta] [Making WordPress.org] #7388: Github PR linking can get confused

[Making WordPress.org]

#7388: Github PR linking can get confused
--------------------------+---------------------
 Reporter:  dd32          |       Owner:  (none)
     Type:  defect (bug)  |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  Trac          |  Resolution:  fixed
 Keywords:                |
--------------------------+---------------------
Changes (by dd32):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 After testing the above change with #7382 and re-deliveries of the
 webhooks, it looks like that worked.

 I had to clear some incorrect data from the database, which shouldn't
 happen again.

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