Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/52300/how-to-tag-governmental-renamed-street/52301