Richard Loveland (rmloveland) commented:

We don't seem to have explicitly defined in our transaction layer docs what it means for a transaction to "push" or "be pushed".

We do mention "pushing the timestamp" in the section on the timestamp cache, but I don't know if there is more to it than what we describe there.

Prompted by discussion with @irfansharif in #7020.

See also cockroachdb/cockroach/docs/design.md, which has several mentions of pushing timestamps.

Jira Issue: DOC-489