search

luarocks / luarocks-site

LuaRocks website and module host
http://luarocks.org
175 stars 38 forks source link

deploy manifest-5.3 to mirrors as well #124

Closed hishamhm closed 6 years ago

hishamhm commented 6 years ago

Hi @leafo, bringing this to your attention so you can update the mirroring job.

As far as I understand having this up and running should fix https://github.com/luarocks/luarocks/issues/726

Thank you!

italomaia commented 6 years ago

Is there something holding this PR from being merged? It seems quite important to seat around for two months.

hishamhm commented 6 years ago

@italomaia I deployed the update myself (fingers crossed!)

The issue seems fixed to me, please confirm!

leafo commented 6 years ago

Sorry for missing this, thanks for deploying it

italomaia commented 6 years ago

It is. Thanks, guys!