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

Define a new geojson for Ireland, and use it for Irish resources. #332

Merged
merged 1 commit into from Feb 6, 2020

Conversation

SomeoneElseOSM
Copy link
Contributor

Use a geojson for Irish resources, since these mostly cover the whole island, not just the Republic. See discussion that started at https://lists.openstreetmap.org/pipermail/talk-ie/2020-January/002507.html .

@bhousel
Copy link
Member

bhousel commented Feb 6, 2020

Thanks @SomeoneElseOSM , looks good 👍

@bhousel bhousel merged commit 26a202b into osmlab:master Feb 6, 2020
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.

None yet

2 participants