Function push_rewritten 

pub async fn push_rewritten(
    repo: &Path,
    remote: &str,
    branch: &str,
) -> Result<GitOut>

Force-push a branch that has been rewritten, refusing to clobber work pushed since this side last looked.

--force-with-lease rather than --force: a rebase replaces the branch’s commits, so a plain push is rejected, but a blind force would also throw away anything a person pushed to the same branch meanwhile. The lease turns that case into a failure instead of a loss.