Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/20870/how-do-you-tag-a-disused-quarry/20871