On Mon, 4 Jun 2018, Joshua D. Drake wrote:
No but it does show why using non open source platforms for open source projects is an inherently bad idea.
Joshua, Sourceforge seems to be out of favor, too, so are there any open source platforms that provide services that sourceforge and github do? Rich