In that case this mechanical edit makes sense for me (as long as edits will not create enormous bounding boxes due to grouping edits across country in one edit)
Feb 26, 2019, 1:34 PM by [email protected]: > Correct. No change will be made on anything other than the most > straightforward of redirects. So even > http://example.com > <http://example.com>> -> > https://example.com/home.aspx > <https://example.com/home.aspx>> will be ignored. > > On Tue, Feb 26, 2019 at 4:23 AM Frederik Ramm <> [email protected] > <mailto:[email protected]>> > wrote: > >> Hi, >> >> On 26.02.19 12:47, Mateusz Konieczny wrote: >> > So when >> http://domainname.com <http://domainname.com>>> redirects to >> > >> https://some-other-domainname.com >> <https://some-other-domainname.com>>> <>> http://domainname.com >> <http://domainname.com>>> > >> > no edit will be made, right? >> >> The logic for this appears to be here >> >> >> >> https://gitlab.com/b-jazz/https_all_the_things/blob/master/src/httpsosm.py#L132-137 >> >> <https://gitlab.com/b-jazz/https_all_the_things/blob/master/src/httpsosm.py#L132-137> >> >> which reads: >> >> if any((website.replace('http://', 'https://', 1) == new_location, >> website.replace('http://', 'https://', 1) + '/' >> == new_location, website.replace('http://', >> '>> https://www. <https://www.>>> ', 1) == new_location, >> website.replace('http://', '>> https://www. <https://www.>>> ', 1) + '/' == >> new_location, >> website.replace('>> http://www. <http://www.>>> ', >> 'https://', 1) >> == new_location, >> website.replace('>> http://www. <http://www.>>> ', 'https://', 1) + '/' == >> new_location)): >> element['tags']['website'] = new_location >> >> Bye >> Frederik >> >> -- >> Frederik Ramm ## eMail >> [email protected] >> <mailto:[email protected]>>> ## N49°00'09" E008°23'33" >> >> _______________________________________________ >> talk mailing list >> >> [email protected] <mailto:[email protected]> >> >> https://lists.openstreetmap.org/listinfo/talk >> <https://lists.openstreetmap.org/listinfo/talk> >>
_______________________________________________ talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/talk
