zulip/tools/push-translations