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