}
+ public string get_config(string key) {
+ return this.git({ "config" , "gitlive." + key);
+ }
+ public string set_config(string key, string value) {
+ return this.git({ "config" , "gitlive." + key, value);
+ }
+
public bool is_managed()
{
// is it a roojs origin?
if (this.host != "git.roojs.com") { // we can only push to this url. -- unless we have forced it to be managed.
+ var r = this.git({ "config" , "gitlive.managed");
+
return FileUtils.test(this.gitdir + "/.gitlive-managed" , FileTest.EXISTS);
}
// otherwise see if unmanaged is set to disable it..