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.
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 <magnus@hagander.net> 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.
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.