push changes to GitHub