push instructions in README.txt