Re: Move pgAdmin git repo to Github?

Поиск
Список
Период
Сортировка
От Magnus Hagander
Тема Re: Move pgAdmin git repo to Github?
Дата
Msg-id CABUevExLUf6u5Qm6zJLEUYPaOOqtsRL_oHi+O2pEuA9fke0aUg@mail.gmail.com
обсуждение исходный текст
Ответ на Move pgAdmin git repo to Github?  (Dave Page <dpage@pgadmin.org>)
Ответы Re: Move pgAdmin git repo to Github?  (Dave Page <dpage@pgadmin.org>)
Список 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 по дате отправления:

Предыдущее
От: Akshay Joshi
Дата:
Сообщение: Re: [pgAdmin]: Patch fixing Feature Tests failures on Selenium Grid
Следующее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: Test commit