[wp-meta] [Making WordPress.org] #5080: When a PR is created for a Trac ticket apply 'has-patch'

[Making WordPress.org]

#5080: When a PR is created for a Trac ticket apply 'has-patch'
-----------------------------+---------------------
 Reporter:  garrett-eclipse  |       Owner:  dd32
     Type:  enhancement      |      Status:  closed
 Priority:  normal           |   Milestone:
Component:  Trac             |  Resolution:  fixed
 Keywords:                   |
-----------------------------+---------------------

Comment (by garrett-eclipse):

 You rock @dd32 thank you, I'll keep my eyes open for incoming PRs to test
 it out in the wild.

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