push: rename config variable for more general use