suggest to discard "playground:theme=playground" tags

see https://github.com/openstreetmap/id-tagging-schema/issues/1188#issuecomment-2040063095
2026-05-25 09:34:05 +02:00 · 2024-04-05 17:51:36 +02:00
parent fb072abf37
commit ed497a32a7
1 changed files with 3 additions and 0 deletions
@@ -1265,6 +1265,9 @@
    "old": {"place_name": "*"},
    "replace": {"name": "$1"}
  },
+  {
+    "old": {"playground:theme": "playground"}
+  },
  {
    "old": {"pole": "transition"},
    "replace": {"location:transition": "yes"}