builder: After fetching the mirrored git repo, set back the right origin

This is nice if you want to later pull new data into the repo.
tingping/wmclass
Alexander Larsson 2015-12-09 21:32:18 +01:00
parent 873492af62
commit 2c92fcb1d6
1 changed files with 4 additions and 0 deletions

View File

@ -486,6 +486,10 @@ builder_source_git_extract (BuilderSource *source,
if (!git_extract_submodule (url, dest, context, error))
return FALSE;
if (!git (dest, NULL, error,
"config", "--local", "remote.origin.url", url, NULL))
return FALSE;
return TRUE;
}