github-push script.