Re: Move pgAdmin git repo to Github?

On Thu, May 21, 2020 at 12:30 PM Ashesh Vashi <ashesh(dot)vashi(at)enterprisedb(dot)com>
wrote:

>
> On Thu, May 21, 2020 at 4:38 PM Dave Page <dpage(at)pgadmin(dot)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?
>

Maybe in the future. Not immediately though.

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company