var options = new Ggit.FetchOptions();
options.set_remote_callbacks( new GitCallbacks(this));
r.download(far, options);
+ r.disconnect();
}
this.loadStatus();
var cb = new GitCallbacks(this);
r.connect(Ggit.Direction.FETCH, cb, null, null);
this.remote_heads = r.list();
+ r.disconnect();
}