[Tagging] Dojo tag (was: Feature proposal - Approved - deprecate embassy=embassy)

[Graeme Fitzpatrick]

So to go back to my original question, the dojo wiki says:
" a  dojo <https://en.wikipedia.org/wiki/en:dojo> is a Japanese term which
... can refer to a formal training place for any of the Japanese do arts
but typically it is considered the formal gathering place for students of
any Japanese martial arts style"

So it should be used for only Japanese martial arts, & all others would be
mapped as
leisure=sports_centre + sport=martial_arts + martial_arts=*?

Thanks

Graeme
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tagging/attachments/20220205/35de5e8d/attachment.htm>