private void writeReflog(Repository db, ObjectId oldId, ObjectId newId,
string msg, string refName)
{
RefDirectory refs = (RefDirectory)db.RefDatabase;
RefUpdate update = refs.newUpdate(refName, true);
update.setOldObjectId(oldId);
update.setNewObjectId(newId);
refs.log(update, msg, true);
}