Sync 9 common files from main branch#19

michalmar wants to merge 1 commit into

CZSK-MicroHacks:studentCZSK-MicroHacks/MicroHack-GitHub:studentfrom

michalmar:studentmichalmar/MicroHack-GitHub:studentCopy head branch name to clipboard