[web-doc] deleted branch github
| From: | saundefined | Date: | Fri, 02 Apr 2021 06:38:25 +0000 |
| Subject: | [web-doc] deleted branch github | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2463@lists.php.net to get a copy of this message | ||
Deleted branch github in repository web-doc.
Pusher: saundefined
Before: https://github.com/php/web-doc/commit/c8b90ffd69fa25de09c69a30e99e1584cbe04670
Compare: https://github.com/php/web-doc/compare/c8b90ffd69fa...000000000000
Tree: https://github.com/php/web-doc/tree/github