| commit | 6b6c50e4f487b0f1ebf316e0625669260b226879 | [log] [tgz] |
|---|---|---|
| author | Mike Frysinger <vapier@google.com> | Thu Jul 02 02:37:13 2020 -0400 |
| committer | Mike Frysinger <vapier@google.com> | Wed Jul 22 03:39:06 2020 -0400 |
| tree | a330eacd672976d47660852841ab90b9f2f35c21 | |
| parent | fd650ca386c382b42d30e7ad72279bfeb311aee4 [diff] |
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
All documentation may be found under src/main/resources/Documentation/.