handle case of adding populated drive to just created repo
The just created repo has no master branch commits yet. This is now handled, merging in the master branch from the populated drive.
This commit is contained in:
parent
a3f76fe696
commit
5ae1f75a39
5 changed files with 43 additions and 24 deletions
|
@ -118,5 +118,5 @@ pushToRemotes threadname now st mpushmap remotes = do
|
|||
|
||||
retry branch g rs = do
|
||||
debug threadname [ "trying manual pull to resolve failed pushes" ]
|
||||
runThreadState st $ manualPull branch rs
|
||||
runThreadState st $ manualPull (Just branch) rs
|
||||
go False (Just branch) g rs
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue