[15.0][ADD] hr_holidays_public_overtime

[hbrunn]

This module adds support for public holidays in Odoo's overtime calculation.

Without this, public holidays are treated as normal work days from the PoV of overtime calculation.

[aleuffre]

Code review, LGTM

[OCA-git-bot]

This PR has the approved label and has been created more than 5 days ago. It should therefore be ready to merge by a maintainer (or a PSC member if the concerned addon has no declared maintainer). 🤖

[hbrunn]

/ocabot merge nobump

[OCA-git-bot]

Sorry @hbrunn you are not allowed to merge.

To do so you must either have push permissions on the repository, or be a declared maintainer of all modified addons.

If you wish to adopt an addon and become it's maintainer, open a pull request to add your GitHub login to the maintainers key of its manifest.

[tv-openbig]

@hbrunn I can confirm it works. I have tested this in context of the following Pull request: OCA/hr-attendance#140

[hbrunn]

/ocabot merge patch

[OCA-git-bot]

Sorry @hbrunn you are not allowed to merge.

To do so you must either have push permissions on the repository, or be a declared maintainer of all modified addons.

If you wish to adopt an addon and become it's maintainer, open a pull request to add your GitHub login to the maintainers key of its manifest.

[dreispt]

/ocabot merge patch

[OCA-git-bot]

What a great day to merge this nice PR. Let's do it!
Prepared branch 15.0-ocabot-merge-pr-87-by-dreispt-bump-patch, awaiting test results.

[OCA-git-bot]

Congratulations, your PR was merged at 1922748. Thanks a lot for contributing to OCA. ❤️