I originally started using Github for Pd mainly because it would make it far easier for people to contribute to the project, ie. PR instead of .patch files. It's definitely delivered on that aspect.
I also agree on not jumping ship on a whim. It would be better to leverage one of the university connections and find a stable, more long term location. Its git, after all, so it's easy to just push to a new location. It becomes harder to carry the unfinished work, like open PRs with us, so that would need to be managed/mirrored for a while.
I also set up a Gitlab some of us are using internally at ZKM and it's pretty useful so far. As always, someone needs to maintain and backup the server and it would be great if a university IT department could handle that. :)
Date: Mon, 4 Jun 2018 17:27:48 +0200From: "Christof Ressi" <christof.ressi@gmx.at>To: pd-dev <pd-dev@lists.iem.at>Subject: Re: [PD-dev] Github being bought by MSMessage-ID: <trinity-0f991093-5c4f-42e2-acdd-08e4881ec7f3-1528126068418@3c-app-gmx-bs20> Content-Type: text/plain; charset=UTF-8Actually, Sourceforge has been pretty evil in the past (like injecting installers with adware) and the new owners are still trying to recover from it. I guess Microsoft will be very careful not to mess up things with GitHub :-)