Postgresql 10.0 update - pull request or trac submission?

[Andrew L. Moore]

Hi,
Postgresql 10.0 is out.   Is there still a preference for Trac submissions over 
Github pull requests?
-AM