The current documentation recommends resetting GITHUB_USER and ISTIO each time a Istio related repository is cloned. That needs a bit of clarification.