Merge pull request #124 from luarocks/deploy-manifest-5.3

deploy manifest-5.3 to mirrors as well
luarocks · Dec 18, 2017 · b9b8dd2 · b9b8dd2
2 parents fa5add1 + b5b0342
commit b9b8dd2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cmd/mirror_server_to_disk.moon b/cmd/mirror_server_to_disk.moon
@@ -63,7 +63,7 @@ download_manifest = (name) ->
         os.execute "mv '#{tmp_fname}' #{fname}"
         print "done"
 
-for m in *{ "manifest", "manifest-5.1", "manifest-5.2"}
+for m in *{ "manifest", "manifest-5.1", "manifest-5.2", "manifest-5.3"}
   download_manifest m
 
 for fname in pairs existing_files

diff --git a/helpers/mirror.moon b/helpers/mirror.moon
@@ -76,7 +76,7 @@ update_manifest_on_disk = (server, dest, force=false) ->
           os.execute "mv '#{tmp_fname}' #{fname}"
           print "done"
 
-  for m in *{ "manifest", "manifest-5.1", "manifest-5.2"}
+  for m in *{ "manifest", "manifest-5.1", "manifest-5.2", "manifest-5.3"}
     download_manifest m
 
   for fname in pairs existing_files