<div><div dir="auto">How would you feel about bounding boxes that cross country borders but are 3 geohash digits or smaller? (Sorry I cant give you an example at the moment, the power has been out so I can’t access tools on my computer.) I’m not sure what your definition of enormous is and what would be an acceptable size. </div></div><div><br><div class="gmail_quote"><div dir="ltr">On Tue, Feb 26, 2019 at 4:39 AM Mateusz Konieczny <<a href="mailto:matkoniecz@tutanota.com">matkoniecz@tutanota.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div>
<div><br></div><div>In that case this mechanical edit makes sense for me (as long as edits <br></div><div>will not create enormous bounding boxes due to grouping edits across country in one edit)<br></div><div><br></div><div>Feb 26, 2019, 1:34 PM by <a href="mailto:bryce@jasmer.com" target="_blank">bryce@jasmer.com</a>:<br></div></div><div><blockquote class="m_-5700820262489713896tutanota_quote" style="border-left:1px solid #93a3b8;padding-left:10px;margin-left:5px"><div><div dir="auto">Correct. No change will be made on anything other than the most straightforward of redirects. So even <a href="http://example.com" rel="noopener noreferrer" target="_blank">http://example.com</a> -> <a href="https://example.com/home.aspx" rel="noopener noreferrer" target="_blank">https://example.com/home.aspx</a> will be ignored. <br></div></div><div><div><br></div><div><div dir="ltr">On Tue, Feb 26, 2019 at 4:23 AM Frederik Ramm <<a href="mailto:frederik@remote.org" rel="noopener noreferrer" target="_blank">frederik@remote.org</a>> wrote:<br></div><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Hi,<br></div><div> <br></div><div> On 26.02.19 12:47, Mateusz Konieczny wrote:<br></div><div> > So when <a href="http://domainname.com" rel="noopener noreferrer" target="_blank">http://domainname.com</a> redirects to<br></div><div> > <a href="https://some-other-domainname.com" rel="noopener noreferrer" target="_blank">https://some-other-domainname.com</a> <<a href="http://domainname.com" rel="noopener noreferrer" target="_blank">http://domainname.com</a>><br></div><div> > no edit will be made, right?<br></div><div> <br></div><div> The logic for this appears to be here<br></div><div> <br></div><div> <a href="https://gitlab.com/b-jazz/https_all_the_things/blob/master/src/httpsosm.py#L132-137" rel="noopener noreferrer" target="_blank">https://gitlab.com/b-jazz/https_all_the_things/blob/master/src/httpsosm.py#L132-137</a><br></div><div> <br></div><div> which reads:<br></div><div> <br></div><div> if any((website.replace('http://', 'https://', 1) == new_location,<br></div><div>                        website.replace('http://', 'https://', 1) + '/'<br></div><div> == new_location,                             website.replace('http://',<br></div><div> '<a href="https://www." rel="noopener noreferrer" target="_blank">https://www.</a>', 1) == new_location,<br></div><div> website.replace('http://', '<a href="https://www." rel="noopener noreferrer" target="_blank">https://www.</a>', 1) + '/' == new_location,<br></div><div>                          website.replace('<a href="http://www." rel="noopener noreferrer" target="_blank">http://www.</a>', 'https://', 1)<br></div><div> == new_location,<br></div><div> website.replace('<a href="http://www." rel="noopener noreferrer" target="_blank">http://www.</a>', 'https://', 1) + '/' == new_location)):<br></div><div>                        element['tags']['website'] = new_location<br></div><div> <br></div><div> Bye<br></div><div> Frederik<br></div><div> <br></div><div> -- <br></div><div> Frederik Ramm  ##  eMail <a href="mailto:frederik@remote.org" rel="noopener noreferrer" target="_blank">frederik@remote.org</a>  ##  N49°00'09" E008°23'33"<br></div><div> <br></div><div> _______________________________________________<br></div><div> talk mailing list<br></div><div> <a href="mailto:talk@openstreetmap.org" rel="noopener noreferrer" target="_blank">talk@openstreetmap.org</a><br></div><div> <a href="https://lists.openstreetmap.org/listinfo/talk" rel="noopener noreferrer" target="_blank">https://lists.openstreetmap.org/listinfo/talk</a><br></div></blockquote></div></div></blockquote><div><br></div>  </div>

_______________________________________________<br>
talk mailing list<br>
<a href="mailto:talk@openstreetmap.org" target="_blank">talk@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/talk" rel="noreferrer" target="_blank">https://lists.openstreetmap.org/listinfo/talk</a><br>
</blockquote></div></div>