delete_ref(): use the usual convention for old_sha1