fetch script: go back to the http remote instead of "github"

because sometimes git is losing the -set-url setting

Change-Id: Ieba30281193875e2116d23df55dd8848136ec126