Another comment.  Testing commit and push.  There's a button to combine
the two actions, but should not work if needing to pull changes first.