Pushing a lot of stuff to github