Push script pushes to Github too