関連ワード:  github stage commit push    git stage commit push    git stage commit and push command    git add stage commit push    git stage commit pull push    github delete pushed commit    github commit vs push