Development record

The pre-push hook reads each pushed commit's tree through replace refs, so a local replace ref can make a commit that carries files read as the empty tree in the reservation and status rows, while the push sends the commit's stored objects.