Push tools and script to github.