}
+
-
-
+ /*
// repo.git( { "fetch", "-a" } ); == done async before...
string[] cmd = { "branch", "--no-color", "--verbose", "--no-abbrev" , "-a" };
br.name = newname;
local.set(br.name, br);
}
-
+ */
/*
this bit of the code tries to turn a local branch into a track of a remote one.
-- that's probably not a good idea.
name = name.replace("/", ".");
}
- */
+
repo.branches = local;
-
+ */
}