tree a330eacd672976d47660852841ab90b9f2f35c21
parent fd650ca386c382b42d30e7ad72279bfeb311aee4
author Mike Frysinger <vapier@google.com> 1593671833 -0400
committer Mike Frysinger <vapier@google.com> 1595403546 -0400

repo: include patchset number in commands

Since we don't include the ps number, repo will look up the latest
one and use that.  If the user is viewing an older ps, that means
the repo command won't actually download the version they have
selected which can be quite confusing.

The git version already includes the fully change id + ps num, so
this brings repo up to parity.

Change-Id: I6a4cd56cf9960d626770f98837028119aeaed4d4