modes/repo: incorrect SSH clone URL for #742