Re: Move pgAdmin git repo to Github?

On Thu, May 21, 2020 at 1:19 PM Murtuza Zabuawala <
murtuza(dot)zabuawala(at)enterprisedb(dot)com> wrote:

> Hi Dave,
>
> 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?
>>
>
> Are we going to allow user to report issues directly on GitHub or they
> still need to report them on Redmine?
>

Redmine for now. Maybe Github issues in the future.

This is just about Git at the moment.

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

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