Skip to content

Add Costa Rica#114

Merged
ashkulz merged 2 commits into
ashkulz:masterfrom
whisp2424:master
Mar 13, 2026
Merged

Add Costa Rica#114
ashkulz merged 2 commits into
ashkulz:masterfrom
whisp2424:master

Conversation

@whisp2424

Copy link
Copy Markdown
Contributor

generated gh-pages commit: a35aab5

@ashkulz ashkulz left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@whisp2424 can you double check your definitions with #48? There are some differences, and I want to make sure that what you have done is in sync with it.

@whisp2424

Copy link
Copy Markdown
Contributor Author

I've updated the presets file to properly include all 7 provinces of Costa Rica, to be closer to the original PR by FabsCR.

Unlike his, the updated changes use proper accentuation as needed for the province names. This also helps avoid the ambiguity between San Jose (California) and San José (Costa Rica)

I also ran the daily update workflow once again, but no new commit for Costa Rica was generated.

@whisp2424

Copy link
Copy Markdown
Contributor Author

@ashkulz would you mind to give this a quick review and see if it can be merged?

@ashkulz ashkulz merged commit 53237a3 into ashkulz:master Mar 13, 2026
1 check passed
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.

2 participants