From a1425bc37e1984ffa3215a1b5cc6021b4f6430d0 Mon Sep 17 00:00:00 2001 From: Alan Knowles Date: Wed, 19 Dec 2018 12:05:34 +0800 Subject: [PATCH] GitRepo.vala --- GitRepo.vala | 30 ++++++------------------------ 1 file changed, 6 insertions(+), 24 deletions(-) diff --git a/GitRepo.vala b/GitRepo.vala index 936ecd55..951a46f5 100644 --- a/GitRepo.vala +++ b/GitRepo.vala @@ -198,7 +198,9 @@ public class GitRepo : Object if (this.get_config("autocommit") == "") { this.set_config("autocommit", this.host == "git.roojs.com" ? "1" : "0"); } - + if (this.get_config("autopush") == "") { + this.set_config("autopush", this.host == "git.roojs.com" ? "1" : "0"); + } } @@ -243,35 +245,15 @@ public class GitRepo : Object public void set_auto_branch(bool val) { - - var cur = this.is_auto_branch(); - GLib.debug("SET auto branch : %s <= %s", val ? "ON" : "OFF", cur ? "ON" : "OFF"); - - if (cur == val) { - return; // no change.. - } - if (this.host != "git.roojs.com") { // we can only push to this url. -- unless we have forced it to be managed. - // remote is not our server.. - if (val) { - FileUtils.set_contents(this.gitdir + "/.gitlive-managed" , "x"); - } else { - FileUtils.remove(this.gitdir + "/.gitlive-managed" ); - } + if (this.name == "gitlog") { return; - - } - - if (val) { - FileUtils.remove(this.gitdir + "/.gitlive-unmanaged" ); - } else { - FileUtils.set_contents(this.gitdir + "/.gitlive-unmanaged" , "x"); - } - + this.set_config("managed", val ? "1" : "0"); } public bool is_autopush () { + return !FileUtils.test(this.gitdir + "/.gitlive-disable-autopush" , FileTest.EXISTS); } public void set_autopush(bool val) -- 2.39.2