Re: [pgadmin4] unable to pull remote

[Magnus Hagander]

Hi!

Thanks for confirming!

I have now also found and fixed the git:// URL issue so anybody else still
using those should be back to working. But there is no reason for you to
switch back.

//Magnus

On Wed, Aug 9, 2017 at 12:37 PM, Sarah McAlear  wrote:

> Hi!
>
> Yes, this did fix it for us, but we did use https instead.
>
> Thanks!
> Matt & Sarah
>
> On Wed, Aug 9, 2017 at 6:19 PM, Magnus Hagander 
> wrote:
>
>> 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 
>> wrote:
>>
>>> Great, thank you!
>>>
>>> On Wed, Aug 9, 2017 at 5:26 PM, Harshal Dhumal <
>>> harshal.dhu...@enterprisedb.com> wrote:
>>>
 hi

 Change below url in your git config
 from *git://git.postgresql.org/git/pgadmin4.git
 * to  
 *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 
 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/ 
>>  Work: https://www.redpill-linpro.com/ 
>>
>
>


-- 
 Magnus Hagander
 Me: https://www.hagander.net/ 
 Work: https://www.redpill-linpro.com/ 

Re: [pgadmin4] unable to pull remote

[Sarah McAlear]

Hi!

Yes, this did fix it for us, but we did use https instead.

Thanks!
Matt & Sarah

On Wed, Aug 9, 2017 at 6:19 PM, Magnus Hagander  wrote:

> 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 
> wrote:
>
>> Great, thank you!
>>
>> On Wed, Aug 9, 2017 at 5:26 PM, Harshal Dhumal <
>> harshal.dhu...@enterprisedb.com> wrote:
>>
>>> hi
>>>
>>> Change below url in your git config
>>> from *git://git.postgresql.org/git/pgadmin4.git
>>> * to  
>>> *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 
>>> 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/ 
>  Work: https://www.redpill-linpro.com/ 
>

Re: [pgadmin4] unable to pull remote

[Magnus Hagander]

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  wrote:

> Great, thank you!
>
> On Wed, Aug 9, 2017 at 5:26 PM, Harshal Dhumal <
> harshal.dhu...@enterprisedb.com> wrote:
>
>> hi
>>
>> Change below url in your git config
>> from *git://git.postgresql.org/git/pgadmin4.git
>> * to  
>> *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 
>> 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/ 
 Work: https://www.redpill-linpro.com/ 

Re: [pgadmin4] unable to pull remote

[Sarah McAlear]

Great, thank you!

On Wed, Aug 9, 2017 at 5:26 PM, Harshal Dhumal <
harshal.dhu...@enterprisedb.com> wrote:

> hi
>
> Change below url in your git config
> from *git://git.postgresql.org/git/pgadmin4.git
> * to  
> *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  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
>>
>
>

Re: [pgadmin4] unable to pull remote

[Harshal Dhumal]

hi

Change below url in your git config
from *git://git.postgresql.org/git/pgadmin4.git
* to
*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  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
>

[pgadmin4] unable to pull remote

[Sarah McAlear]

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