OpenWrt sources mirror on GitHub are unsynchronized

Hi, I want to make a lot of small pull requests to the libubox, rpcd, uci and for me it will be easier to do with github instead of sending raw patch files.

I see there is https://github.com/openwrt which is a mirror of https://git.openwrt.org/ but it looks like this is not a full mirror: some projects which listed in github organization are not present in git.openwrt.org and vice versa.

So could you synchronize them? I mean import all repos from git.openwrt.org into gihub.
Or core developers don't want to use the github because afraid to be flooded by pull requests?

P.S. I sent the same email to devlist but it was postponed in moderation queue and nobody ever reviewed it.

GitHub is frowned upon and was only added because of general pressure more or less which is most likely the reason why those repos aren't mirrored.