From f1645c257aee39176b564338317f113660dfd265 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben.hutchings@codethink.co.uk>
Date: Thu, 10 Sep 2020 19:24:13 +0100
Subject: Update mirroring of FreeRTOS

FreeRTOS moved from Sourceforge to GitHub.  Since it switched from
Subversion to Git, use a different name for the new mirror.  Mark the
old mirror as obsolete.
---
 open-source-lorries/freertos.lorry | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/open-source-lorries/freertos.lorry b/open-source-lorries/freertos.lorry
index 06aed30..b611cb3 100644
--- a/open-source-lorries/freertos.lorry
+++ b/open-source-lorries/freertos.lorry
@@ -2,6 +2,11 @@
      "freertos": {
         "type": "svn",
         "url": "http://svn.code.sf.net/p/freertos/code/",
-        "layout": "standard"
+        "layout": "standard",
+        "description": "Obsolete (use freertos-git)"
+     },
+     "freertos-git": {
+        "type": "git",
+        "url": "https://github.com/FreeRTOS/FreeRTOS.git"
      }
 }
-- 
cgit v1.2.1