GitHub mirror of Python for use in the Event Store build scripts