mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-22 18:35:37 +08:00
ff6929dde8
Fixes a bug introduced by 498a0e8a79
("Make 'repo branches -a' the default behavior").
Change-Id: Ib739f82f4647890c46d7c9fb2f2e63a16a0481de