Infra: Provide dgit clone-dgit-repos-server

[dgit.git] / dgit

diff --git a/dgit b/dgit
index 863104bfd709bb32e601772cc1976c3bcc3ad5a9..f314bdaa05af30ca9814c0adbe850726ed23444d 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -2636,6 +2636,15 @@ sub cmd_archive_api_query {
     exec @cmd or fail "exec curl: $!\n";
 }
 
+sub cmd_clone_dgit_repos_server {
+    badusage "need destination argument" unless @ARGV==1;
+    my ($destdir) = @ARGV;
+    $package = '_dgit-repos-server';
+    my @cmd = (@git, qw(clone), access_giturl(), $destdir);
+    debugcmd ">",@cmd;
+    exec @cmd or fail "exec git clone: $!\n";
+}
+
 #---------- argument parsing and main program ----------
 
 sub cmd_version {