RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-09-26 18:42:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Prevent repo info from crashing when default element doesn't exist."

Browse Source
This commit is contained in:
David Pursehouse
2015-07-29 02:11:55 +00:00
committed by Gerrit Code Review
parent 4e16c24981 17af578d72
commit 57f43f4944
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
subcmds/info.py
View File

@@ -59,6 +59,7 @@ class Info(PagedCommand):
or 'all,-notdefault')
self.heading("Manifest branch: ")
if self.manifest.default.revisionExpr:
self.headtext(self.manifest.default.revisionExpr)
self.out.nl()
self.heading("Manifest merge branch: ")