diff --git a/tools/do_management.sh b/tools/do_management.sh new file mode 100755 index 00000000..efb9b134 --- /dev/null +++ b/tools/do_management.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +dune exec offline -- download && \ +dune exec offline -- sign && \ +dune exec offline -- upload