<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
<div style="16px" text-align="left"><br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Mar 5, 2019, 12:59 PM by grimpeur78@gmail.com:<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div dir="ltr"><div class=""><div dir="ltr" class="">I imagined that all public-facing police stations be tagged as:<br></div><div><br></div><div style="margin-left:40px">police=station<br></div><div style="margin-left:40px">operator=(Bundespolizei/Straż Miejska etc.)<br></div><div style="margin-left:40px">opening_hours=*<br></div><div style="margin-left:40px">...<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Police barracks would then be<br></div></div><div class=""><br></div><div class="" style="margin-left:40px">police=barracks<br></div><div class="" style="margin-left:40px">operator=*<br></div><div class="" style="margin-left:40px">...<br></div><div class="">And an administrative building could be<br></div><div class=""><br></div><div class="" style="margin-left:40px">police=administration<br></div><div class="" style="margin-left:40px">operator=*<br></div><div class="" style="margin-left:40px">opening_hours=*<br></div><div class="" style="margin-left:40px">...<br></div><div class=""><br></div><div class=""><br></div><div class="">As amenity=police is currently being used indiscriminately for almost all police-related facilities, we would have to review all police buildings manually anyways to differentiate police stations and other units. In the long run, I would therefore get rid of amenity=police altogether (and thus decongestionate the "amenity"-tag a bit).<br></div></div></blockquote><div style="16px" text-align="left">That works quite well! Some comments:<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">For administrative building I would really use office tag.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">I see no value in dropping amenity=police, even in far future.<br></div><div style="16px" text-align="left">I see no harm whatsoever in supposed "congestion" and breaking all data consumers<br></div><div style="16px" text-align="left">using amenity=police would not be nice.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">I am not sure about using operator for police type, in some cases it may cause conflicts with<br></div><div style="16px" text-align="left">normal use of operator tag.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Maybe police:type?<br></div><div style="16px" text-align="left"><br></div>  </body>
</html>