Merge pull request #85 from westnordost/patch-6

deprecate craft=car_repair -> shop=car_repair

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"}