From 7450f06a08248eb9cf94c2552803c3651d08f5df Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Fri, 1 Nov 2019 23:06:43 +0100
Subject: [PATCH] Ignore more git platform errors

---
 lib/apis/git.dart | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/apis/git.dart b/lib/apis/git.dart
index ea05bbfa..7c7ef0d3 100644
--- a/lib/apis/git.dart
+++ b/lib/apis/git.dart
@@ -17,12 +17,18 @@ bool shouldIgnorePlatformException(PlatformException ex) {
   if (msg.contains("failed to connect to")) {
     return true;
   }
-  if (msg.contains("No address associated with hostname")) {
+  if (msg.contains("no address associated with hostname")) {
     return true;
   }
   if (msg.contains("failed to connect to")) {
     return true;
   }
+  if (msg.contains("unauthorized")) {
+    return true;
+  }
+  if (msg.contains("failed to start ssh session")) {
+    return true;
+  }
   return false;
 }