diff options
| author |  jesopo | 2018-12-09 20:57:29 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-09 20:57:29 +0000 |
| commit | 6dc58d4ceb0b52c2094c265ddda43b5a04b3355e (patch) | |
| tree | 66972b5433bda45682d871b35ded7792c866bfd8 /src/Logging.py | |
| parent | Show newly added labels when a pull request is labeled (diff) | |
| signature | ||
Correctly support labeling pull requests, support unlabeling pull requests and support both on issues
Diffstat (limited to 'src/Logging.py')
0 files changed, 0 insertions, 0 deletions