3 Commits

Author	SHA1	Message	Date
Daniel Gröber	21fb8638ac	hackage-metadata: update the scripts	2016-06-02 20:15:59 +02:00
Daniel Gröber	87b5b6f8c5	Use HTTPS for hackage-metadata scripts	2015-11-26 16:08:08 +01:00
Daniel Gröber	758efc0be7	Add upload-metadata script	2015-11-18 20:56:44 +01:00