Adding git_repo_url to setconfig.
Merge branch 'master' into stable_3