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/scripts/update-luarocks-packages | |
| parent | 1d22aed0417ef945552d4dc2abcf04e806162351 (diff) | |
buildLuarocksPackage: cleanup
Diffstat (limited to 'maintainers/scripts/update-luarocks-packages')
| -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 55076f889e99..a465031b9112 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' ''' |