script to push stuff to git