Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: CMB2 Leaflet Geocoder (OSM API) #355

Merged
merged 1 commit into from
Oct 16, 2023

Conversation

enrimk
Copy link
Contributor

@enrimk enrimk commented Sep 13, 2023

Descrizione

Fixes #339, #340, #354
Fix trovato da @abmcr, @fnori77, @marcogangemideda

Fa seguito a un cambiamento nella API di openstreetmap.

Checklist

Fixes italia#339, italia#340
Fix trovato da @abmcr, @fnori77, @marcogangemideda

Fa seguito a un [cambiamento nella API di openstreetmap](osm-search/Nominatim#3134).
@enrimk enrimk changed the title Fix: CMB2 Leaflet Geocoder (OST API) fix: CMB2 Leaflet Geocoder (OSM API) Sep 13, 2023
@zetareticoli zetareticoli mentioned this pull request Sep 26, 2023
2 tasks
@zetareticoli zetareticoli requested a review from astagi October 2, 2023 09:02
@zetareticoli
Copy link
Member

@astagi Anche in questo caso, dobbiamo capire se fare un check interno prima del merge.

@luigistellato
Copy link

Buongiorno @zetareticoli ho riscontrato lo stesso problema ieri. Grazie per l'info!

@enrimk
Copy link
Contributor Author

enrimk commented Oct 16, 2023

dobbiamo capire

Premetto che posso essere solo contento che la correzione sia stata presa in considerazione, e non è mia intenzione fare troppa fretta.

Tuttavia: la modifica è delle più banali, si tratta letteralmente di due caratteri. È stata ampiamente documentata.
La prima segnalazione è di più di due mesi e mezzo fa, e comprendeva già il fix. Ne sono seguite nel frattempo almeno altre quattro o cinque. In ciascuna, ampie testimonianze (se mai servissero) che il fix è corretto e funziona.

La PR stessa è lì da più di un mese. 1 Cos'altro serve per l'integrazione? Intanto, il difetto permane, e arrivano, ovviamente, nuove segnalazioni. 2

Footnotes

  1. Non è che ci sia affezionato, il fix non è neanche "mio". La PR, mi sono preso la briga di farla io solo per chiarire una specie di incomprensione per cui a un certo momento sono stati chiusi degli issue dando il bug per risolto, mentre è ancora qui.

  2. Il punto, in sostanza, è che aumenta la preoccupazione per il ritmo parecchio blando a cui sembra procedere lo sviluppo del tema negli ultimi mesi. Cosa sta avvenendo?

@zetareticoli zetareticoli merged commit 799f0ae into italia:main Oct 16, 2023
@enrimk enrimk deleted the patch/issue339 branch October 27, 2023 08:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Bug su Posizione GPS del post type luogo
3 participants