From 64bfefa266eec4e9c2a6058d6275b227dd331f72 Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Fri, 1 May 2020 11:22:02 +0200
Subject: [PATCH] Do not allow DartGit's exception to escape

DartGit is still quite experimental.
---
 lib/core/git_repo.dart | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/core/git_repo.dart b/lib/core/git_repo.dart
index 2c8b22b8..b64fe8a5 100644
--- a/lib/core/git_repo.dart
+++ b/lib/core/git_repo.dart
@@ -173,7 +173,8 @@ class GitNoteRepository {
   Future<int> numChanges() async {
     try {
       var repo = await git.GitRepository.load(gitDirPath);
-      return repo.numChangesToPush();
+      var n = await repo.numChangesToPush();
+      return n;
     } catch (_) {}
     return 0;
   }