diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2020-02-16 10:56:14 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2020-02-16 10:56:21 +0100 |
| commit | 025b347103da0fced16a2b1c57574b475a9e8c49 (patch) | |
| tree | de819763028e95bc73c2ae5eac04b13da785dcc6 | |
| parent | 3dcd73d7129fa142701b3e0739d862a709a5b8fb (diff) | |
| download | context-mirror-bot-master.tar.gz | |
https://ntg.nl/pipermail/ntg-context/2020/096963.html
| -rw-r--r-- | context_mirror_bot.ml | 7 |
1 files 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" |