Hi Hackers,
As per discussion onhttps://www.postgresql.org/message-id/flat/CAGRPzo-_dSYr5Y1D%2B0uBLo39Bb6MVTg3%3DCM%3DhrmX7LdF%3DfQbhQ%40mail(dot)gmail(dot)com#CAGRPzo-_dSYr5Y1D+0uBLo39Bb6MVTg3=CM=hrmX7LdF=fQbhQ(at)mail(dot)gmail(dot)com,I've updated the pgadmin website with the attached patch. Instead of thedocs pointing developers to an ssh repo link, it points them to https.
Thanks,Matt