From 0f66b785c344594ac7f5f8aa73a1b2aaf0a08b1c Mon Sep 17 00:00:00 2001 From: Jan Kaluza Date: Feb 24 2021 13:22:59 +0000 Subject: Support fetch from gerrit. --- diff --git a/cccc/git.py b/cccc/git.py index e7729bc..ced7217 100644 --- a/cccc/git.py +++ b/cccc/git.py @@ -97,6 +97,9 @@ def merge_repo(repodir, url, commit="proposed/master"): # fetch refs cmd = ["git", "fetch", "proposed"] + if "refs/" in commit: + cmd += [commit] + commit = "FETCH_HEAD" execute_cmd(cmd, cwd=repodir) # finally, merge the proposed update