public void mergeMasterIntoHead()
{
// assumes head is not master...
+ GLib.debug("head rev = %s", this.head.get_name());
var head_oid = this.repo.revparse(this.head.get_name() ).get_id() ;
var master_oid = this.repo.revparse("refs/heads/master" ).get_id() ;