From: | Magnus Hagander <magnus(at)hagander(dot)net> |
---|---|
To: | Sarah McAlear <smcalear(at)pivotal(dot)io> |
Cc: | Harshal Dhumal <harshal(dot)dhumal(at)enterprisedb(dot)com>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
Subject: | Re: [pgadmin4] unable to pull remote |
Date: | 2017-08-09 10:19:28 |
Message-ID: | CABUevEzeR0EcZOjSFs3jq8R8_G6CjSBscKQhgk5TPHnJcYpEeQ@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
Hi!
Did that actually fix it?
I've noticed a couple of other jobs complaining about the git server, but
so far I was under the impression that it was a specific upstream network
that had issues. BUt if switching to http fixed it, then that's not it, and
I have something else to investigate.
Also as a note -- it should be https and not http. If you use http it will
generate redirects so it will work, but you both miss out on the security
and will get lower performance because it will be more requests.
//Magnus
On Wed, Aug 9, 2017 at 11:30 AM, Sarah McAlear <smcalear(at)pivotal(dot)io> wrote:
> Great, thank you!
>
> On Wed, Aug 9, 2017 at 5:26 PM, Harshal Dhumal <
> harshal(dot)dhumal(at)enterprisedb(dot)com> wrote:
>
>> hi
>>
>> Change below url in your git config
>> from *git://git.postgresql.org/git/pgadmin4.git
>> <http://git.postgresql.org/git/pgadmin4.git>* to *http://git.postgresql.org/git/pgadmin4.git
>> <http://git.postgresql.org/git/pgadmin4.git>*
>>
>>
>>
>> --
>> *Harshal Dhumal*
>> *Sr. Software Engineer*
>>
>> EnterpriseDB India: http://www.enterprisedb.com
>> The Enterprise PostgreSQL Company
>>
>> On Wed, Aug 9, 2017 at 2:39 PM, Sarah McAlear <smcalear(at)pivotal(dot)io>
>> wrote:
>>
>>> Hi Hackers!
>>>
>>> We noticed that as of some time today (it worked this morning) we are
>>> unable to pull git.postgresql.org/git/pgadmin4.git. Is this a known
>>> issue? Our other repos seem to work fine still.
>>>
>>> Thanks,
>>> Sarah
>>>
>>
>>
>
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
From | Date | Subject | |
---|---|---|---|
Next Message | Sarah McAlear | 2017-08-09 10:37:03 | Re: [pgadmin4] unable to pull remote |
Previous Message | Khushboo Vashi | 2017-08-09 10:07:02 | Re: [gpAdmin4][patch] query history updates |