if failed to push to remote, just log

This commit is contained in:
Nikita Galaiko 2023-02-24 10:14:47 +01:00
parent 9ae9308348
commit 0c2999d909
No known key found for this signature in database
GPG Key ID: EBAB54E845BA519D

View File

@ -558,8 +558,9 @@ fn flush(
session.hash = Some(commit_oid.to_string());
delete(project).with_context(|| format!("failed to delete session"))?;
push_to_remote(repo, user, project)
.with_context(|| format!("failed to push gb commit {} to remote", commit_oid))?;
if let Err(e) = push_to_remote(repo, user, project) {
log::error!("failed to push gb commit {} to remote: {:#}", commit_oid, e);
}
Ok(())
}