|
| From: | Steven G. Johnson |
| Subject: | merging pull requests on github mirror? |
| Date: | Thu, 10 Feb 2022 08:42:16 -0500 |
| The 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. |
| [Prev in Thread] | Current Thread | [Next in Thread] |