DOKK / manpages / debian 10 / repo / repo.1.en
repo(1) tool for getting Android source repo(1)

repo - tool for getting Android source

repo [ command ] [ options ]

repo is a repository management tool that we built on top of Git. repo unifies the many Git repositories when necessary, does the uploads to our revision control system, and automates parts of the Android development workflow. repo is not meant to replace Git, only to make it easier to work with Git in the context of Android. The repo command is an executable Python script that you can put anywhere in your path. In working with the Android source files, you will use repo for across-network operations. For example, with a single repo command you can download files from multiple repositories into your local working directory.

The complete list of recognized repo commands are:

Permanently abandon a development branch
View current topic branches
View current topic branches
Checkout a branch for development
Cherry-pick a change.
Show changes between commit and working tree
Manifest diff utility
Download and checkout a change
Run a shell command in each project
Delete a GITC Client.
Initialize a GITC Client.
Print lines matching a pattern
Display detailed help on a command
Get info on the manifest branch, current branch or unmerged branches
Initialize repo in the current directory
List projects and their associated directories
Manifest inspection utility
Display overview of unmerged project branches
Prune (delete) already merged topics
Rebase local branches on upstream branch
Update repo to the latest version
Update working tree to the latest known good revision
Stage file(s) for commit
Start a new branch for development
Show the working tree status
Update working tree to the latest revision
Upload changes for code review
Display the version of repo

There is more documentation on these websites:

https://source.android.com/source/using-repo.html https://source.android.com/source/downloading.html https://source.android.com/source/developing.html

git(1)

The Android Open Source Project, 2008-2015

26 Dec 2015 .1