diff options
| author |  Hedy Li <[email protected]> | 2020-10-16 08:05:33 +0000 |
|---|---|---|
| committer | Hedy Li <[email protected]> | 2020-10-16 08:05:33 +0000 |
| commit | 608025d3e16846cc9192ef02d77bff466810f06a (patch) | |
| tree | d17f083aa4cc4093f1ead23694fa6be33d8ef04a /bot/exts/evergreen/githubinfo.py | |
| parent | handle no PR for a section (diff) | |
minor design changes
Diffstat (limited to 'bot/exts/evergreen/githubinfo.py')
0 files changed, 0 insertions, 0 deletions