From 119955972a560d2908a0174248fe370e693e6ea3 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 24 Oct 2019 13:45:17 +0200
Subject: [PATCH] [scripts/mirror] Added missing input arg
---
bob/devtools/scripts/mirror.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py
index cdca9a5c..5dded9fb 100644
--- a/bob/devtools/scripts/mirror.py
+++ b/bob/devtools/scripts/mirror.py
@@ -112,6 +112,7 @@ def mirror(
dry_run,
tmpdir,
patch,
+ checksum,
):
"""Mirrors a conda channel to a particular local destination
--
GitLab