mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-02-23 23:27:27 +08:00
Print project name for -p on mirror clients
It doesn't make sense to print the relpath, since there's nothing checked out there and the dir shouldn't even exist. Change-Id: Id43631a8e0895929d3a5ad4ca8c2dc9e3d233e70
This commit is contained in:
parent
710d4b0391
commit
5bca9fcdd9
@ -260,7 +260,12 @@ without iterating through the remaining projects.
|
||||
first = False
|
||||
else:
|
||||
out.nl()
|
||||
out.project('project %s/', project.relpath)
|
||||
|
||||
if mirror:
|
||||
project_header_path = project.name
|
||||
else:
|
||||
project_header_path = project.relpath
|
||||
out.project('project %s/', project_header_path)
|
||||
out.nl()
|
||||
out.flush()
|
||||
if errbuf:
|
||||
|
Loading…
Reference in New Issue
Block a user