Currently, we have to specify a version for a plugin in the plugins {} which doesn't work well for our config_to_policy conversion, since we don't want to have to update that code every time any of our plugins gets a new version.
Furthermore, it would be generally useful to offer users a way to just get the newest version of a plugin. We should make version= optional in the policy file and grab the newest version when selecting from the plugin's download manifest.
Currently, we have to specify a version for a plugin in the
plugins {}which doesn't work well for ourconfig_to_policyconversion, since we don't want to have to update that code every time any of our plugins gets a new version.Furthermore, it would be generally useful to offer users a way to just get the newest version of a plugin. We should make
version=optional in the policy file and grab the newest version when selecting from the plugin's download manifest.