github mirror not up to date

[Itamar Syn-Hershko]

Can someone take it with infra so they fix whatever they forgot to setup?

Thanks,

Itamar