On 07/03/14 15:27, Chris “Kwpolska” Warrick wrote:
>
> In scripts/build_site.py:
>
> > +
> > +    if os.path.isdir('plugins/' + plugin):
> > +        with cd('plugins/'):
> > +            subprocess.check_call('zip -r ../output/v{0}/{1}.zip {1}'.format(version, plugin),
> > +                                  stdout=subprocess.PIPE,
> > +                                  shell=True)
> > +
> > +
> > +def build_plugins_json(version):
> > +    print("Building plugins.json for version {0}".format(version))
> > +    plugins_dict = {}
> > +    for plugin in plugin_list():
> > +        data = get_data(plugin)
> > +
> > +        if ((data['minver'] is None or data['minver'].split('.')[0] <= version) and
> > +           (data['maxver'] is None or data['maxver'].split('.')[0] >= version)):
>
> we should (a) rename github master (6.9.90) to something starting with 
> 7 or (b) include a special case for it.
>

I vote for 7.0-alpha or whatever.