Re: Move pgAdmin git repo to Github? - Mailing list pgadmin-hackers

From Magnus Hagander
Subject Re: Move pgAdmin git repo to Github?
Date
Msg-id CABUevExLUf6u5Qm6zJLEUYPaOOqtsRL_oHi+O2pEuA9fke0aUg@mail.gmail.com
Whole thread Raw
In response to Move pgAdmin git repo to Github?  (Dave Page <dpage@pgadmin.org>)
Responses Re: Move pgAdmin git repo to Github?  (Dave Page <dpage@pgadmin.org>)
List pgadmin-hackers

On Thu, May 21, 2020 at 1:08 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?


Don't you already have a mirror there? Can't you just point the tests at that, regardless of where you keep your primary? (It is distributed after all)

That said you are of course free to change the primary for whatever reason, but this one doesn't seem like one.

And AFAIK nobody has actually reported any such issues. But it is certainly true that a lot of the git serving stuff is terribly slow -- but I was under the impression that it was mostly gitweb, since thats what people tend to report issues with...

But again, no actual objections to moving.

//Magnus
 

pgadmin-hackers by date:

Previous
From: Akshay Joshi
Date:
Subject: Re: [pgAdmin]: Patch fixing Feature Tests failures on Selenium Grid
Next
From: Dave Page
Date:
Subject: pgAdmin 4 commit: Test commit