+ public string branchesToString()
+ {
+ var ret = "";
+ foreach( var br in this.branches.values) {
+ if (br.name == "") {
+ continue;
+ }
+ ret += ret.length > 0 ? "," : "";
+ ret += br.name;
+
+ }
+ return ret;
+
+ }
+ RooTicket? ticket = null;
+
+ public void setActiveTicket(RooTicket ticket, string branchname)
+ {
+ this.createBranchNamed(branchname);
+ FileUtils.set_contents(this.gitdir + "/.gitlive-active-ticket" , ticket.id);
+ this.activeTicket = ticket;
+ }
+
+ public void createBranchNamed(string branchname)
+ {
+ string[] cmd = { "checkout", "-b" , branchname };
+ this.git(cmd);
+ this.loadBranches(); // update branch list...
+ }
+