+ patch github/NamedUser.py ../NamedUser.py.patch
patching file github/NamedUser.py
+ python scripts/openapi.py index github openapi.spec.json openapi.index
Indexing 5 Python files
Indexed 14 classes
Indexed 2 paths
Indexed 7 schemas
Indexing OpenAPI spec
