On Fri Sep 6, 2024 at 2:43 AM CEST, Rocky Bernstein wrote:
> The mechanisms at savannah.gnu.org have not been improving or developing
> while github, gitlab, etc., seem to be constantly improving.
Just a personal testimony that I am moving in the exactly
opposite direction towards Sourcehut and a
Hi,
Personally, I see a lot more benefits than drawback in moving this repo
to GitHub.
While GitHub is under Microsoft's ownership, they still don't have any
legal ability to go against the license of the project, which, IMO, is
the only thing that matters. Especially, since Microsoft can no
On Fri Sep 6, 2024 at 7:29 PM CEST, Pete Batard wrote:
> It is also my opinion that the benefits of being hosted on GitHub far
> outweigh the drawbacks, especially considering the 1st class CI
> environment it provides, among many other things.
Yes, CI is the only reason why Git{Hub,Lab} have va
On Fri, Sep 6, 2024 at 3:22 PM Matěj Cepl wrote:
>
> On Fri Sep 6, 2024 at 7:29 PM CEST, Pete Batard wrote:
> > It is also my opinion that the benefits of being hosted on GitHub far
> > outweigh the drawbacks, especially considering the 1st class CI
> > environment it provides, among many other th
