learn how to push git commits to remote