merging pull requests on github mirror?

"Steven G. Johnson" <[email protected]> Thu, 10 Feb 2022 08:42:16 -0500
Newsgroups gmane.comp.sysutils.autoconf.archive-maintainers
Message-ID <[email protected]>
--Apple-Mail=_A703BE3D-0DF5-45BA-881B-88E88EF86057
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

The http://savannah.gnu.org/projects/autoconf-archive/ =
<http://savannah.gnu.org/projects/autoconf-archive/> page says that =
"it's also possible to submit Pull Requests to the Autoconf Archive =
Mirror at Github", but it looks like pull requests haven't been merged =
on github for a couple of years now.

Is anyone here monitoring the github mirror?  It would be good to go =
through the backlog, especially for bugfix patches.=

--Apple-Mail=_A703BE3D-0DF5-45BA-881B-88E88EF86057
Content-Transfer-Encoding: 7bit
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">The&nbsp;<a href="http://savannah.gnu.org/projects/autoconf-archive/" class="">http://savannah.gnu.org/projects/autoconf-archive/</a>&nbsp;page says that "it's also possible to submit Pull&nbsp;Requests to the&nbsp;Autoconf Archive Mirror at Github", but it looks like pull requests haven't been merged on github for a couple of years now.<div class=""><br class=""></div><div class="">Is anyone here monitoring the github mirror? &nbsp;It would be good to go through the backlog, especially for bugfix patches.</div></body></html>
--Apple-Mail=_A703BE3D-0DF5-45BA-881B-88E88EF86057--