- //if (!repo.autocommit()) {
- //??? should we ignore ones not on autocommit..
- // continue;
- //}
- //try {
- statusicon.set_tooltip_text("pull: " + repo.name);
- var str = "";
- repo.pull_async((res) => {
-
- total--;
- if (!Regex.match_simple ("Already up-to-date", res) ) {
-
-
- str += str.length > 0 ? "\n" : "";
- str += "Updated: " +repo.name + "\n" + res +"\n";
- }
- if (total < 1) {
- var notification = new Notify.Notification(
- "Pull completed ",
- str,
- "dialog-information"
- );
- notification.set_timeout(20);
- notification.show();
- statusicon.set_tooltip_text("Gitlive");
-
-
- GitMonitor.gitmonitor.start();
- }
- });
- // do not care if it's already in sycn..
-