$ repo init -u https://android.googlesource.com/platform/manifest$ repo --versionrepo version v1.12.22repo launcher version 1.21(from /home/wink/bin/repo)git version 2.1.4Python 2.7.9 (default, Apr 2 2015, 15:33:21)[GCC 4.9.2]
$ repo selfupdateremote: Counting objects: 1, doneremote: Finding sources: 100% (17/17)remote: Total 17 (delta 5), reused 17 (delta 5)80e3a37..b3d6e67 master -> origin/master4ccad75..97836cf stable -> origin/stable* [new tag] v1.12.23 -> v1.12.23info: A new version of repo is availableproject .repo/repo/Updating 4ccad75..97836cfFast-forwarderror.py | 4 +--git_command.py | 7 ++++-git_config.py | 2 +-main.py | 7 +++++manifest_xml.py | 12 +++++---project.py | 83 ++++++++++++++++++++++++++++++++++++++------------subcmds/cherry_pick.py | 1 +subcmds/forall.py | 40 ++++++++++++++++++++----subcmds/init.py | 4 +--subcmds/sync.py | 34 ++++++++++++++++-----10 files changed, 150 insertions(+), 44 deletions(-)info: Restarting repo with latest version
$ repo --versionrepo version v1.12.23repo launcher version 1.21(from /home/wink/bin/repo)git version 2.1.4Python 2.7.9 (default, Apr 2 2015, 15:33:21)[GCC 4.9.2]
--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en
---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Thanks, David.I know it's a bit off-topic, but what do you consider a good idea?We should have a mirror (== 'vanilla copy' of AOSP) AND a production git server that syncs with that mirror?To use a setup like that, the production server should be synced with 'repo sync' or use directly 'git fetch'?
Please respond here if you run into any issues.