History of push_delete 1 change

In src/cli/sync.rs, lines 246–287 on e5d9b0513f3ecaf20bfc8875158b1979e5857d2e4050533525524dd1817c2592. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 246,287:src/cli/sync.rs.