001E# service=git-upload-pack
00000042ERR FATAL: unknown git/gitolite command: 'tools/ptx-sisyphus'
FATAL: unknown git/gitolite command: 'tools/ptx-sisyphus'
001E# service=git-upload-pack
0042ERR FATAL: unknown git/gitolite command: 'tools/ptx-sisyphus'