[web-master] master: Handle optional github user name
| From: | nikic | Date: | Wed, 31 Mar 2021 21:15:24 +0000 |
| Subject: | [web-master] master: Handle optional github user name | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29133@lists.php.net to get a copy of this message | ||
Author: Nikita Popov (nikic)
Date: 2021-04-01T00:26:34+02:00
Commit: https://github.com/php/web-master/commit/6488d65ae68d87ab412ef6f762512904347980c2
Raw diff: https://github.com/php/web-master/commit/6488d65ae68d87ab412ef6f762512904347980c2.diff
Handle optional github user name
Author/committer may not necessarily have a github account.
Changed paths:
M github-webhook.php