Project

General

Profile

Bug #7196

Updated by Matthieu CERDA about 9 years ago

Sometimes there is an error that says we are not in a git repository: 
 <pre> 
 $ rudder-dev merge all -a 
 ***** ERROR: This is not a git directory 
 </pre> 

 This is due to a call to branch_process.poll() that should be branch_process.wait() due to a possible race condition. repository

Back