diff options
| author |  jesopo | 2019-03-02 08:40:04 +0000 |
|---|---|---|
| committer | jesopo | 2019-03-02 08:40:04 +0000 |
| commit | 1ad9bd20472f4b78e2032cfc685e0b7e5d6c8f47 (patch) | |
| tree | bab821e884edf8d87bb94100cf56bad36ead6feb /.gitignore | |
| parent | Colour the state of a pull request (diff) | |
Actually use colored `state` in formatted line
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions