66df48 And another couple of fixes to remote.push()

Authored and Committed by Pierre-Yves Chibon 10 years ago
    And another couple of fixes to remote.push()
    
        
file modified
+12 -3