tools used for petos.cz repo maintenance