Hi,
since the were no negative responses so far, I'll ask infra to create
new repo and setup github mirror.
Cheers,
Kacper