diff options
author | Matthieu Coudron <mcoudron@hotmail.com> | 2021-08-31 22:15:04 +0200 |
---|---|---|
committer | Matthieu Coudron <mcoudron@hotmail.com> | 2021-08-31 22:16:28 +0200 |
commit | e62a0eac8f2cfe58efae9200f9d267169f519cab (patch) | |
tree | 2fe75446222638111a7db11f3b862a72336b1ef5 /maintainers | |
parent | 1d22aed0417ef945552d4dc2abcf04e806162351 (diff) |
buildLuarocksPackage: cleanup
Diffstat (limited to 'maintainers')
-rwxr-xr-x | maintainers/scripts/update-luarocks-packages | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintainers/scripts/update-luarocks-packages b/maintainers/scripts/update-luarocks-packages index 55076f889e99e..a465031b91128 100755 --- a/maintainers/scripts/update-luarocks-packages +++ b/maintainers/scripts/update-luarocks-packages @@ -53,11 +53,11 @@ class LuaPlugin: '''Name of the plugin, as seen on luarocks.org''' src: str '''address to the git repository''' - ref: str + ref: Optional[str] '''git reference (branch name/tag)''' version: Optional[str] '''Set it to pin a package ''' - server: str + server: Optional[str] '''luarocks.org registers packages under different manifests. Its value can be 'http://luarocks.org/dev' ''' |