Function delete_ref 

pub fn delete_ref(
    repo: &Repository,
    ref_name: &str,
    expected_tip: ObjectId,
) -> Result<()>

Delete a ref, requiring it currently points to expected_tip.