Disable "Push Branch" if repository has no HEAD
commit4bae95ae8dde65fc92237bee0cfdcf07cd7e6c8d
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 11 Jan 2016 09:45:41 +0000 (11 10:45 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 11 Jan 2016 09:45:41 +0000 (11 10:45 +0100)
tree33784b1ed8898633d3bcf9674893588ac5f46130
parent8b47bde5f00f3487b5a5bb2680bbd827add889f6
Disable "Push Branch" if repository has no HEAD

This fixes the NPE in PushBranchPage reported in bug 482217.

Bug: 482217
Change-Id: I8ad45a3d5c4b2f798862ff7f64d18b6e548bea2b
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/actions/PushBranchActionHandler.java