Commits
Dmitri Gribenko committed 75c101d980b
update-checkout: change --clone to also update repositories --clone used to skip updating the repositories, which was causing confusion. Developers expect update-checkout to update their local copy, and optionally clone extra repositories.