From f479e27f96702c1f2bc59604871f79cacdff5eae Mon Sep 17 00:00:00 2001
From: Kirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Date: Tue, 7 Oct 2014 23:39:47 +0400
Subject: [PATCH] [git] Fix a misprint: the parameter is nullable

---
 plugins/git4idea/src/git4idea/push/GitPushTagPanel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/git4idea/src/git4idea/push/GitPushTagPanel.java b/plugins/git4idea/src/git4idea/push/GitPushTagPanel.java
index 7201067d5c6f..21a86a63ac41 100644
--- a/plugins/git4idea/src/git4idea/push/GitPushTagPanel.java
+++ b/plugins/git4idea/src/git4idea/push/GitPushTagPanel.java
@@ -33,7 +33,7 @@ class GitPushTagPanel extends VcsPushOptionsPanel {
   private final ComboBox myCombobox;
   private final JBCheckBox myCheckBox;
 
-  GitPushTagPanel(@NotNull GitPushTagMode defaultMode, boolean followTagsSupported) {
+  GitPushTagPanel(@Nullable GitPushTagMode defaultMode, boolean followTagsSupported) {
     String checkboxText = "Push Tags";
     if (followTagsSupported) {
       checkboxText += ": ";