add more general code for push to github