bump.
On Tue, Aug 15, 2017 at 3:58 AM Matthew Kleiman <mkleiman(at)pivotal(dot)io> wrote:
> Hi Hackers,
>
> As per discussion on
> https://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 the
> docs pointing developers to an ssh repo link, it points them to https.
>
> Thanks,
> Matt
>