diff options
| author | fanquake <fanquake@gmail.com> | 2020-01-04 14:22:34 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-01-04 14:28:24 +0800 |
| commit | 9a4cc52d734d56d781aaedc6679e1a70a74439c2 (patch) | |
| tree | e34d76618c56a42dfe482aba15e763ac85aa086a /src | |
| parent | 816464198c34a373229e865d76f4bc0ca8f127dc (diff) | |
| parent | 19267cbc82c1a09b37a0266b7bd930e9a62d1288 (diff) | |
Merge #17688: doc: Add "ci" prefix to CONTRIBUTING.md
19267cbc82c1a09b37a0266b7bd930e9a62d1288 doc: Add ci prefix to CONTRIBUTING.md (Hennadii Stepanov)
Pull request description:
It seems our maintainers like `ci` prefix for commits and PRs:
```
git log | grep 'ci:'
```
and
So let's document it.
ACKs for top commit:
fanquake:
ACK 19267cbc82c1a09b37a0266b7bd930e9a62d1288 - this looks ok
Tree-SHA512: ef467513f9562f51d0471c5cc900336caab4e9494299bcd2c9cc9e1b296536a86467807d71b8d7100a5c78715174cf58b6ecfe6c3bd958060c15eba4fba7067f
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions