Fixed a bug in bash completion of branch option.
Merge remote-tracking branch 'rsinnet/master'