Convert gerrit-push to Python