Pre-commit is now required to merge PRs, so let it run even on documentation updates. An alternative is to merge with administrator permissions, bypassing rules, which is not a good practice. Signed-off-by: Nick Volynkin <nick.volynkin@gmail.com> |
||
|---|---|---|
| .. | ||
| workflows | ||
| CODEOWNERS | ||