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 repo = GitRepo.get( gitpath );
if ( !repo.isWipBranch()) {
+ leave_queued.add(cmd);
continue;
}