mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-15 21:12:40 +08:00
Most projects will have their branch heads matching in all branches, so switching between them should be just a matter of updating the work tree's HEAD symref. This can be done in pure Python, saving quite a bit of time over forking 'git checkout'. Signed-off-by: Shawn O. Pearce <sop@google.com>