pushing files to Github