remove origin remote after local clone
It's not useful, since it'll change to something that cannot be directly merged with.
This commit is contained in:
parent
11c1160655
commit
db1cf96dd7
|
@ -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]
|
||||
)
|
||||
|
||||
|
|
Loading…
Reference in New Issue