Mirror of a mirror, not gitee directly
Gitee is relatively unreliable over https. Use an intermediate mirror that syncs over ssh. This way we still have a local mirror but we are not limited by gitee availability, as we get "as good as we can" service from the intermediate mirror.
The intermediate mirror is at a temporary location until we get something better set up.
Signed-off-by: Zygmunt Krynicki email@example.com