Re: Move pgAdmin git repo to Github?

Hi Dave,

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?

Are we going to allow user to report issues directly on GitHub or they still need to report them on Redmine?