Mirror Dropdown Change from Push to Pull Not Working

Hi @AnnaLisik,

there was a change for private repositories announced, please follow my comment here: Pull based Mirroring from GitHub for CI is no longer mirrored

Cheers,
Michael