I was reading on "git commit" and "git push", and it seems to be agreed that "commit" means "updating local repository" while "p