docs: document github_policy deny_force_push parameter - #442
Open
omnigent-ci[bot] wants to merge 1 commit into
Open
docs: document github_policy deny_force_push parameter#442omnigent-ci[bot] wants to merge 1 commit into
omnigent-ci[bot] wants to merge 1 commit into
![omnigent-ci[bot]](https://avatars.githubusercontent.com/in/4082516?v=4&size=32){kind=avatar}