Improve github push script.