Commit 26c45d6c authored by Jordan Petridis's avatar Jordan Petridis 🌱 Committed by Jordan Petridis

clone_manifest_ref: add the ability to fetch instead of cloning the repo

parent d692406a
Pipeline #133601 failed with stages
in 25 minutes and 57 seconds
......@@ -67,6 +67,7 @@ if __name__ == "__main__":
parser.add_argument("--project", action="store", type=str)
parser.add_argument("--destination", action="store", type=str, default='.')
parser.add_argument("--manifest", action="store", type=str)
parser.add_argument("--fetch", action="store_true", default=False)
options = parser.parse_args()
if not options.project:
......@@ -82,5 +83,10 @@ if __name__ == "__main__":
if dest == '.':
dest = os.path.join (os.getcwd(),
if options.fetch:
assert os.path.exists(dest) == True
git('fetch', project.fetch_uri, project.revision, repository_path=dest)
git('clone', project.fetch_uri, dest)
git('checkout', '--detach', project.revision, repository_path=dest)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment