diff options
| author | Joey Hess <joey@kitenet.net> | 2014-08-19 19:03:05 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-08-19 19:03:05 -0400 |
| commit | db1cf96dd70c3f7396b6a3bb89f26b972cc54e0c (patch) | |
| tree | ab0ae1f6f80e72e2186e05eeb07b5e4062605c32 /src | |
| parent | 11c1160655f64df8586b7e299a22b9befb4e0ef1 (diff) | |
remove origin remote after local clone
It's not useful, since it'll change to something that cannot be directly
merged with.
Diffstat (limited to 'src')
| -rw-r--r-- | src/wrapper.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wrapper.hs b/src/wrapper.hs index 75830e72..106591fc 100644 --- a/src/wrapper.hs +++ b/src/wrapper.hs @@ -71,6 +71,8 @@ wrapper args propellordir propellorbin = do ( do void $ boolSystem "git" [Param "clone", File distrepo, File propellordir] fetchUpstreamBranch propellordir distrepo + changeWorkingDirectory propellordir + void $ boolSystem "git" [Param "remote", Param "rm", Param "origin"] , void $ boolSystem "git" [Param "clone", Param netrepo, File propellordir] ) |