}
+ public void mergeMasterIntoHead()
+ {
+ // assumes head is not master...
+ var head_oid = this.repo.revparse(this.head.get_name() ).get_id() ;
+ var master_oid = this.repo.revparse("refs/heads/master" ).get_id() ;
+
+ var master_commit = this.repo.lookup_commit(master_oid);;
+ var head_commit = this.repo.lookup_commit(head_oid);
+
+
+ }
+
/*
public bool doMergeClose(string commit_message)