[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