mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-16 05:32:40 +08:00
The manifest server doesn't want to have refs/heads passed to it, so we need to strip that when the branch contains it. Change-Id: I044f8a9629220e886fd5e02e3c1ac4b4bb6020ba