update for a push to github