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