diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-10-06 11:55:16 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-10-06 11:55:16 +0200 |
| commit | 64133ee5ba4b03e2f7f2f2161b1d551a97bd0d80 (patch) | |
| tree | 9459d5c83f38441985c003a1a306783c47ddfaf8 /bug | |
| parent | 558e149b2524864beff3912f44fdb887edeb7ac5 (diff) | |
| download | git-bug-64133ee5ba4b03e2f7f2f2161b1d551a97bd0d80.tar.gz | |
github: deal with the deleted user case where github return a null actor
Diffstat (limited to 'bug')
0 files changed, 0 insertions, 0 deletions