//try {
statusicon.set_tooltip_text("pull: " + repo.name);
var str = "";
- repo.pull_async((out result) => {
+ repo.pull_async((string res) => {
+
total--;`
- if (!Regex.match_simple ("Already up-to-date", str) ) {
+ if (!Regex.match_simple ("Already up-to-date", res) ) {
str += str.length > 0 ? "\n" : "";