About a month ago, about 19000 nodes with tag amenity=retail shops have been introduced in Seoul by user ine63: Changesets by ine63 | OpenStreetMap
The tag amenity=retail shops has not been previously used in OSM and its meaning is unclear to me. Can you investigate and comment on what the objects added actually are? Usually OSM top-level tags do not have spaces in them, but this one does. Should these points be retagged to something else, like maybe shop=yes if the type of shop is unknown? Are the name tags useful to the Korean map? Or are the points perhaps only useful as addresses?
If the data is unclear and appears to be unsalvageable, should this apparent import be reverted?
Moreover, since the source is not cited within the data, it is likely a violation of the original license anyway. (The original license of the data source requires attribution as a mandatory condition.)
Recently, there have been similar cases of importing open data from the South Korean government into OSM. Some people say that there is no issue because the data is licensed under KOGL, which allows free use. However, I personally believe it would be best to consult the Data Working Group (DWG) for a proper judgment.
If you’re asking purely for my opinion, I’m confident that KOGL is not compatible with ODbL.