How to manage github pull requests?
| From: | Philip Olson | Date: | Fri, 04 Dec 2020 18:43:13 +0000 |
| Subject: | How to manage github pull requests? | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969387680@lists.php.net to get a copy of this message | ||
Hi all,
How do we merge github pull requests into the documentation? Or more specifically,
what's the official procedure to merge them into SVN? I see git-svn-id exists but
am unsure how exactly it's generated.
All thoughts are welcome, thanks :)
Regards,
Philip