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.

Sign up for GitHub

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

Jump to bottom

Add Lisbon, Portugal #715

Merged

jbelien merged 3 commits into master from city/lisbon

Jul 30, 2023

Member

jbelien commented Jul 30, 2023 •

edited

Loading

Add submodule
Update README.md
Update cities.json in EqualStreetNames/module-global@d20d81b
Update package.json in EqualStreetNames/module-website@3216ba2
Create automated update in EqualStreetNames/equalstreetnames-copenhagen@8249e8e
Add MAPBOX_TOKEN secret
Create automated deployment in EqualStreetNames/equalstreetnames-copenhagen@702b760
Update DNS in EqualStreetNames/dns@2ade9c8


          Add submodule

401e45b

jbelien added the city label

jbelien self-assigned this


          Update README.md

27b95a6

jbelien mentioned this pull request

Add cities covered by Mapping Diversity project #711

Open


          Update submodules

943d1bd

jbelien marked this pull request as ready for review

July 30, 2023 14:34

jbelien merged commit afff1ed into master

jbelien deleted the city/lisbon branch

July 30, 2023 14:34

Member Author

jbelien commented Jul 30, 2023

🚀 https://lisbon.equalstreetnames.eu/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment