mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-23 07:16:21 +00:00
Merge "Print project name for -p on mirror clients"
This commit is contained in:
commit
c2791e85f3
@ -260,7 +260,12 @@ without iterating through the remaining projects.
|
|||||||
first = False
|
first = False
|
||||||
else:
|
else:
|
||||||
out.nl()
|
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.nl()
|
||||||
out.flush()
|
out.flush()
|
||||||
if errbuf:
|
if errbuf:
|
||||||
|
Loading…
Reference in New Issue
Block a user