pub fn push(remote: &str) -> Result<()>Expand description
Push the notes ref, resolving races against other CI jobs.
Two runners finishing at once will both try to push; the loser is rejected,
re-fetches, merges with cat_sort_uniq and retries. Verified end-to-end: both
runners’ measurements survive the merge.