pushing edits to github