batch.py: Improve file#547

copybara-service[bot] wants to merge 1 commit intomastergoogle/earthengine-api:masterfrom

test_811375962google/earthengine-api:test_811375962Copy head branch name to clipboard