Function write_default_fetch_head 

pub fn write_default_fetch_head(
    git_dir: &Path,
    source: &str,
    oid: ObjectId,
    append: bool,
) -> Result<()>

Write a single default FETCH_HEAD record (a bare HEAD fetch).