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