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

Assumption day is a holiday in most of bavaria #269

Closed
XSpielinbox opened this issue Aug 16, 2023 · 3 comments · May be fixed by #483
Closed

Assumption day is a holiday in most of bavaria #269

XSpielinbox opened this issue Aug 16, 2023 · 3 comments · May be fixed by #483
Labels
country: germany status: new Initial state for every issue / pull request topic: public holiday type: bug Something isn't working

Comments

@XSpielinbox
Copy link
Contributor

XSpielinbox commented Aug 16, 2023

Affected country

Bavaria

Affected public holiday

Assumption day

Source of the information

https://www.statistik.bayern.de/mam/presse/2023/214_2023_44_a_mariae_himmelfahrt_2023.pdf

More information

Additional source: https://www.statistik.bayern.de/statistik/gebiet_bevoelkerung/zensus/himmelfahrt/index.php

As Assumption day is a holiday in by far the most parts of Bavaria, in my opinion at least for now the default should change that all of Bavaria gets this holiday and there are exemptions for the few major cities that don't, in particular Ansbach, Schwabach, Nürnberg, Fürth, Erlangen, Bayreuth, Coburg and Hof (cities listed with their German name).

@XSpielinbox XSpielinbox added status: new Initial state for every issue / pull request topic: public holiday type: bug Something isn't working labels Aug 16, 2023
@derTobsch derTobsch changed the title Assumtion day is a holiday in most of bavaria Assumption day is a holiday in most of bavaria Aug 17, 2023
@derTobsch
Copy link
Contributor

Holidays that refer to a city we do not include it is now already very time-consuming to maintain everything.

@XSpielinbox
Copy link
Contributor Author

Ok, but in this particular case wouldn't it nevertheless make more sense to add it to the complete of Bavaria and just skip exclusions instead of omitting it completely and thereby being wrong in more cases?

@XSpielinbox
Copy link
Contributor Author

Holidays that refer to a city we do not include it is now already very time-consuming to maintain everything.

As stated in #267 (comment) one should then drop all cities of Bavaria (currently Augsburg, Würzburg, Regensburg and Ingolstadt to be precise).

XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Oct 10, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Oct 22, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Nov 1, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Nov 4, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Nov 27, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Dec 2, 2023
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Mar 7, 2024
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Apr 9, 2024
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Sep 5, 2024
Signed-off-by: XSpielinbox <[email protected]>
derTobsch pushed a commit to XSpielinbox/jollyday that referenced this issue Dec 3, 2024
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Dec 5, 2024
Signed-off-by: XSpielinbox <[email protected]>
XSpielinbox added a commit to XSpielinbox/jollyday that referenced this issue Dec 11, 2024
Signed-off-by: XSpielinbox <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
country: germany status: new Initial state for every issue / pull request topic: public holiday type: bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants