Closing PR failed?
| From: | Yasuo Ohgaki | Date: | Tue, 19 Nov 2013 21:31:18 +0000 |
| Subject: | Closing PR failed? | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-70212@lists.php.net to get a copy of this message | ||
HI,
I merged PR #525 that fixes tests with non-standard php.ini.
I've tried to close it, but I got
Failed while updating!
Server responded: HTTP/1.1 401 Unauthorized
Github user: php-pulls
Failed to add comment on GitHub
It says I'm logged in on the screen.
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net