public bool is_ignore(string fname) throws Error, SpawnError
{
+ if (fname == ".gitignore") {
+ this.ignore_files.clear();
+ }
+
if (this.ignore_files.has_key(fname)) {
return this.ignore_files.get(fname);
}
return this.git( cmd );
-
}
+
+ public delegate void PullAsyncCallback (string str)
+ async public string pull_async(PullAsyncCallback cb) {
+
+
+
+ }
+
/**
* push:
* Send local changes to remote repo(s)