[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

merging pull requests on github mirror?

From: Steven G. Johnson
Subject: merging pull requests on github mirror?
Date: Thu, 10 Feb 2022 08:42:16 -0500

The 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]