[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:  new
 Priority:  normal        |   Milestone:
Component:  Trac          |  Resolution:
 Keywords:                |
--------------------------+---------------------

Comment (by dd32):

 In [changeset:"13081" 13081]:
 {{{
 #!CommitTicketReference repository="" revision="13081"
 API: GitHub PRs: Tweak how the matching Trac ticket for a PR is found.

 This should reduce some cases of the ticket being misidentified.

 See #7388.
 }}}

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