this.paused = true;
+ var leave_queued = new Gee.ArrayList<GitMonitorQueue>();
GLib.debug("GitMonitor.runQueue - creating repos");
for(var i = 0; i < cmds.length; i++) {
var cmd = cmds.index(i);
var gitpath = cmd.gitpath;
+
+ var repo = GitRepo.get( gitpath );
+ if ( !repo.isWipBranch()) {
+ leave_queued.add(cmd);
+ continue;
+ }
+
GLib.debug("GitMonitor.runQueue - finding %s", cmd.gitpath);
var ix = GitRepo.indexOf(repo_list, cmd.gitpath);