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)