Adrian Klaver <adrian(dot)klaver(at)aklaver(dot)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