Adrian Klaver <adrian.klaver@aklaver.com> writes:
> I just realized this will not work for you as you want files from here:
> https://git.postgresql.org/gitweb/?p=pgrpms.git;a=summary
> and that is not mirrored.
"git clone" is your friend. Keep a local copy instead of relying
on someone else's.
regards, tom lane