upgrade board_type=map to information=map

see https://wiki.openstreetmap.org/w/index.php?title=Key:board_type&oldid=2431578
2026-06-07 23:43:54 +02:00 · 2022-12-22 15:42:10 +01:00
parent 81b172ab7c
commit f4894d9c5d
1 changed files with 4 additions and 0 deletions
@@ -778,6 +778,10 @@
    "old": {"information": "wildlife"},
    "replace": {"tourism": "information", "information": "board", "board_type": "wildlife"}
  },
+  {
+    "old": {"information": "board", "board_type": "map"},
+    "replace": {"tourism": "information", "information": "map"}
+  },
  {
    "old": {"internet_access": "public"},
    "replace": {"internet_access": "yes", "internet_access:fee": "no"}