public Gee.HashMap<string,string> config_cache;
public Ggit.Repository repo;
+ public Ggit.RemoteHead[] remote_heads = null;
public static GitRepo singleton()
{
return;
}
-
+ public void loadRemoteHeads(bool force = false)
+ {
+
+ if (!force && this.remote_heads != null) {
+ return;
+ }
+ var r = this.repo.lookup_remote("origin");
+ r.connect(Ggit.Direction.FETCH, this.callbacks, null, null);
+ this.remote_heads = r.list();
+
+ }
}