関連ワード:  delete git push    delete git pushed commit    delete github push    git delete pushed branch    git delete pushed tag    git delete pushed file    git delete pushed commit from history    git delete push history    git delete pushed commit from remote    git delete pushed merge commit