Postgresql 10.0 update - pull request or trac submission?

[Rainer Müller]

On 2017-10-06 11:04, Andrew L. Moore wrote:
> Postgresql 10.0 is out.   Is there still a preference for Trac submissions over Github pull requests?
In general, please submit the way that works best for you.

Pull requests on GitHub have benefits as they will be tested
automatically and offer a review interface where comments can be left
next to a change.

Rainer