Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
how_to_use_google_repo [2020/04/20 20:07] – [Initializing a repo repository] rpjday | how_to_use_google_repo [2020/04/21 11:07] (current) – [Commands] rpjday | ||
---|---|---|---|
Line 7: | Line 7: | ||
* [[https:// | * [[https:// | ||
* [[https:// | * [[https:// | ||
+ | |||
+ | ===== TO DO ===== | ||
+ | |||
+ | * Discuss cloning just manifest repo. | ||
+ | |||
+ | ===== Commands ===== | ||
+ | |||
+ | ==== repo help ==== | ||
+ | |||
+ | < | ||
+ | abandon | ||
+ | branch | ||
+ | branches | ||
+ | checkout | ||
+ | cherry-pick | ||
+ | diff Show changes between commit and working tree | ||
+ | diffmanifests | ||
+ | download | ||
+ | gitc-delete | ||
+ | gitc-init | ||
+ | grep Print lines matching a pattern | ||
+ | info Get info on the manifest branch, current branch or unmerged branches | ||
+ | init | ||
+ | list List projects and their associated directories | ||
+ | overview | ||
+ | prune Prune (delete) already merged topics | ||
+ | rebase | ||
+ | smartsync | ||
+ | stage Stage file(s) for commit | ||
+ | start Start a new branch for development | ||
+ | status | ||
+ | sync | ||
+ | upload | ||
+ | </ | ||
+ | |||