関連ワード:  git push head commit    git push only head commit    github event push head_commit message    git push head to previous commit    git reset head pushed commit    git push commit before head    git push old commit to head    git push commit from detached head    git push current commit to head    git make head point to commit