GitBranch#getShortName to get "local" name of a remote branch
authorKirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Wed, 1 Feb 2012 13:14:18 +0000 (17:14 +0400)
committerKirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Wed, 1 Feb 2012 14:01:21 +0000 (18:01 +0400)
commit8512686d8673bb8771fc80d533929b32be0c76a1
treed8320582d78e986dc77d20863e902b3f23c2afb0
parent46c4e0ad07b46e588dfea750e004f86420bc7cf4
GitBranch#getShortName to get "local" name of a remote branch
plugins/git4idea/src/git4idea/GitBranch.java
plugins/git4idea/src/git4idea/push/GitPushDialog.java