[tor-commits] [translation-tools/master] Don't push source files to the server