関連ワード:  what is pre commit in git    what is pre commit in github    what is pre commit hook in git    what is github pre commit hook    what is pre-commit    difference between commit and commit and push in git    what is commit and push in git    what is difference between git commit and push