commit cb7265d9530a0dbfca6168393338c7ae5c03440b
parent 0fc2ef443d5dca261cfc85a7c8716c7ea5f13f3d
Author: Florian Dold <florian.dold@gmail.com>
Date: Fri, 11 Oct 2019 23:13:57 +0530
verbosity
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/taler-deployment b/bin/taler-deployment
@@ -96,7 +96,7 @@ def update_checkout(r: Repo, p: Path):
ref = "HEAD"
else:
ref = res.stdout.strip("\n ")
- print(f"resetting to ref {ref}")
+ print(f"resetting {r.name} to ref {ref}")
subprocess.run(["git", "-C", p.as_posix(), "reset", "--hard", ref], check=True)