W jakim wymiarze oddać dzień wolny za święto przypadające w sobotę, jeżeli pracownikowi zmieniono wymiar etatu?

Pytanie dotyczy oddania dnia wolnego za święto. Mamy półroczy okres rozliczeniowy. Styczeń - czerwiec i lipiec - grudzień. Planujemy oddać pracownikom dzień wolny za święto 15.08 w dniu 24.12. Problem dotyczy pracownika który od 01.10.2020 przeszedł z całego na pół etatu. W dniu 15.08 jego dzień pracy miał 8 godzin, teraz w dniu kiedy chcemy oddać wolne jego dzień pracy będzie miał 4 godziny.

Czy mamy mu zatem w grudniu oddać 8 godzin (w jego przypadku będą to dwa dni) czy jeden cały dzień (w jego przypadku 4 godzinny)?