GitMonitor.vala
[gitlive] / GitMonitor.vala
index 6ca4627..e2cc920 100644 (file)
@@ -525,6 +525,7 @@ public class GitMonitor : Monitor
                        // deletions
                        this.paused = true; 
                          
+                         
                        try {
                                
                                repo.pull();