From 390e8c0b2daf6015cdafd3e45675d0f16d3fc8d0 Mon Sep 17 00:00:00 2001
From: Tobias Zwick <newton@westnordost.de>
Date: Thu, 10 Dec 2020 01:33:56 +0100
Subject: [PATCH] deprecate craft=car_repair -> shop=car_repair

---
 data/deprecated.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/data/deprecated.json b/data/deprecated.json
index bb12823d..aefde3b0 100644
--- a/data/deprecated.json
+++ b/data/deprecated.json
@@ -406,6 +406,10 @@
     "old": {"contents": "*"},
     "replace": {"content": "$1"}
   },
+  {
+    "old": {"craft": "car_repair"},
+    "replace": {"shop": "car_repair"}
+  },
   {
     "old": {"craft": "catering"},
     "replace": {"craft": "caterer"}