diff options
| author |  Johannes Christ <[email protected]> | 2023-06-26 11:30:24 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2023-06-26 10:30:24 +0100 |
| commit | 855e4e55850be6f1bf5168783cd3e1913a616f9b (patch) | |
| tree | 6ce700dd4f8c85b51a28e86c6dc344f5ebaff7e6 /.github | |
| parent | Merge pull request #1006 from n0Oo0Oo0b/n0Oo0Oo0b-patch-1 (diff) | |
Add new rule aliases (#1007)
* Correct indent for GPT rule
* Add new aliases for rule 4 and 8
See suggestion in #1001.
Closes #1001.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions