関連ワード:  github push rulesets    github push rules    git push rules    github all push rulesets will be disabled    github force push history    github push history    github push vs pull    github delete push