History of revoke 4 changes

In src/cli/identity.rs, lines 509–558 on subrepo-pin-state. 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 509,558:src/cli/identity.rs.