handle_revision_arg: stop using "dotdot" as a generic pointer