| From: | Murtuza Zabuawala <murtuza(dot)zabuawala(at)enterprisedb(dot)com> |
|---|---|
| To: | Dave Page <dpage(at)pgadmin(dot)org> |
| Cc: | pgadmin-hackers <pgadmin-hackers(at)lists(dot)postgresql(dot)org> |
| Subject: | Re: Move pgAdmin git repo to Github? |
| Date: | 2020-05-21 12:18:50 |
| Message-ID: | CAKKotZSNAs93msDFmtK-A+CZrF3RMJEhOUrx8EirZoE0+cFEdg@mail.gmail.com |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
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?
> --
> Dave Page
> Blog: http://pgsnake.blogspot.com
> Twitter: @pgsnake
>
> EnterpriseDB UK: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
>
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Dave Page | 2020-05-21 12:21:29 | Re: Move pgAdmin git repo to Github? |
| Previous Message | Dave Page | 2020-05-21 11:58:01 | Re: Move pgAdmin git repo to Github? |