On Thu, May 21, 2020 at 4:38 PM Dave Page <dpage@pgadmin.org> wrote:
We see a non-trivial amount of automated build failures caused by git timeouts and Varnish cache meditation. This is only likely to get worse as we've automated so many different build configurations, and the PostgreSQL sysadmin team don't really want to get into the business of large-scale repository hosting.
I suggest we move our primary repo to Github. Any objections?
No objection in moving the repository on Github.
But - are we changing the patch submission process as well?
Will we allow using PR (Pull Request) for patch submission?