How to manage github pull requests?

Philip Olson <[email protected]> Fri, 4 Dec 2020 10:43:13 -0800

Newsgroups	gmane.comp.php.documentation.general
Message-ID	<[email protected]>

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

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.