mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-23 02:45:39 +08:00
fce89f218a
This isn't a required command, but might be more discoverable for repo newbies? Change-Id: If357346f234774d42e04e024e65acdaf6dca6c62