6 Commits

Author	SHA1	Message	Date
Dave Page	c32ff3a7ee	Expect the yum repo metadata to be GPG signed.	2021-05-06 15:27:22 +01:00
Dave Page	b21b03495d	Tell Yum where the GPG public key is, and fix the arch and version variables, per Devrim.	2020-05-29 14:04:51 +01:00
Dave Page	bda62cb1f1	Don't try to import the signing key. YUM/RPM will do that for us, per Devrim.	2020-05-28 16:04:14 +01:00
Dave Page	52187306ce	Create the dist/ directory if needed.	2020-05-18 15:37:18 +01:00
Dave Page	5337514c63	Allow the base directory for the repo to be overridden from the environment.	2020-05-18 10:22:28 +01:00
Dave Page	762784d2b5	Add a script for generating a repo RPM.	2020-05-15 11:22:28 +01:00