[wp-meta] [Making WordPress.org] #6298: Github PR not showing up in trac anymore?

[Making WordPress.org]

#6298: Github PR not showing up in trac anymore?
--------------------------+-------------------------
 Reporter:  malthert      |       Owner:  (none)
     Type:  defect (bug)  |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  Trac          |  Resolution:  worksforme
 Keywords:                |
--------------------------+-------------------------
Changes (by dd32):

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


Comment:

 Hi @malthert,

 PRs against Github.com/WordPress/WordPress are automatically closed.

 We use https://github.com/WordPress/wordpress-develop for GitHub PRs, as
 it mirrors the WordPress Develop codebase, rather than WordPress/WordPress
 which mirrors something that more closer resembles a 'Built' version of
 WordPress.

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