push: prefer the local branch when selecting a corresponding remote branch
[git-cola.git] / bin / 
treecc535804106b0a7ff7b445b935687041dc0e6e85
drwxr-xr-x   ..
-rw-r--r-- 580 README.md
-rwxr-xr-x 245 git-cola
-rwxr-xr-x 265 git-cola-sequence-editor
-rwxr-xr-x 243 git-dag