projects
/
gitlive
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1c92854
)
GitRepo.vala
author
Alan Knowles
<alan@roojs.com>
Wed, 19 Dec 2018 04:00:47 +0000
(12:00 +0800)
committer
Alan Knowles
<alan@roojs.com>
Wed, 19 Dec 2018 04:00:47 +0000
(12:00 +0800)
GitRepo.vala
patch
|
blob
|
history
diff --git
a/GitRepo.vala
b/GitRepo.vala
index
d0bbe5d
..
99526b6
100644
(file)
--- a/
GitRepo.vala
+++ b/
GitRepo.vala
@@
-190,11
+190,20
@@
public class GitRepo : Object
}
}
+ 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.
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..
return FileUtils.test(this.gitdir + "/.gitlive-managed" , FileTest.EXISTS);
}
// otherwise see if unmanaged is set to disable it..