tree ee0b2eb641c2874f5d150d0e5b1556778e308b42
parent d237b698652120f4d859b6f9e12e3aa15aa7b2d5
author Shawn O. Pearce <sop@google.com> 1240027082 -0700
committer Shawn O. Pearce <sop@google.com> 1240027425 -0700

Improve repo sync performance by avoid git forks

By resolving the current HEAD and the manifest revision using pure
Python, we can in the common case of "no changes" avoid a lot of
git operations and directly jump out of the local sync method.

This reduces the no-op `repo sync -l` time for Android's 114 projects
from more than 6s to under 0.8s.

Signed-off-by: Shawn O. Pearce <sop@google.com>