Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/18048/how-to-tag-non-public-governmental-campus-areas/18054