Re: [pgadmin4] unable to pull remote

2017-08-09 Thread 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

Re: [pgadmin4] unable to pull remote

2017-08-09 Thread 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

Re: [pgadmin4] unable to pull remote

2017-08-09 Thread 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

Re: [pgadmin4] unable to pull remote

2017-08-09 Thread 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.

Re: [pgadmin4] unable to pull remote

2017-08-09 Thread 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: htt