Push changes to GitHub

on the git tab click ⇧ to push changes to GitHub

changes have now been updated in the GitHub repo