Add push-to-Github help script.