Единственной документацией по инструменту репозитория googles для управления репозиторием Android была:
https://sites.google.com/a/android.com/opensource/download/using-repo
Это было меньше, чем ничего: доступная справка такая же, как при вводе:
repo help
Кто-нибудь знает другой источник документации?
Я явно хочу знать, как отменить локальные изменения: -из репозитория git, который является частью репо -из папки репо '/ manifest' или других изменений репо