patch github/NamedUser.py ../NamedUser.py.patch
python scripts/openapi.py index github openapi.spec.json openapi.index
