Hlavní navigace

Názor ke zprávičce GitHub od října změní pojmenování nových repozitářů z master na main od anonym - Je to vysledok tlaku, ktory zacal v OSS...