Pypi status from settings.ini ends up wrong

nbdev
1

it’s hardly ruining my day but i changed my status in settings.ini to 5 (production/stable) and pushed to pypi and it got set to 6 (mature).

anyone?