From 025b347103da0fced16a2b1c57574b475a9e8c49 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sun, 16 Feb 2020 10:56:14 +0100 Subject: rm -f current https://ntg.nl/pipermail/ntg-context/2020/096963.html --- context_mirror_bot.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml index 3475a76..8cfce96 100644 --- a/context_mirror_bot.ml +++ b/context_mirror_bot.ml @@ -68,13 +68,10 @@ let mirror_repos = [ "old" , "hg@bitbucket.org:phg/context-mirror.git" ; "new" , "git@gitlab.com:context-mirror-bot/context-mirror.git" (* our current mirror *) ; "ghub", "git@github.com:contextgarden/context-mirror.git" ] (* github mirror *) -let sources = +let sources = (* No “current” anymore as of February 2020. *) [ { name = "beta"; - page = "http://www.pragma-ade.nl/download-2.htm"; - url = "http://www.pragma-ade.nl/context/beta/cont-tmf.zip"; }; - { name = "current"; page = "http://www.pragma-ade.nl/download-1.htm"; - url = "http://www.pragma-ade.nl/context/current/cont-tmf.zip"; } ] + url = "http://www.pragma-ade.nl/context/latest/cont-tmf.zip"; } ] (* owner and contact details for the user agent string *) let bot_owner = "Philipp Gesang" -- cgit v1.2.3