Important open source projects should not use GitHub (2020)

1. miloc_c ◴[15 Apr 25 08:21 UTC] No.43690281[source]▶

Linus Torvalds (Git was originally created by him) seems to be actively contributing in GitHub for the Linux kernel repository (also created by him): https://github.com/torvalds/linux Anyone has seen his position on this topic?

replies(3): >>43690387 #>>43690643 #>>43690714 #

2. rumblefrog ◴[15 Apr 25 08:37 UTC] No.43690387[source]▶

>>43690281 (TP) #

Isn't the Github repo a mirror?

replies(1): >>43690508 #

3. chedabob ◴[15 Apr 25 08:56 UTC] No.43690508[source]▶

>>43690387 #

Yeah the commit messages suggest all the heavy-lifting was done on kernel.org's server. It's just matched his GH user to the email in the commit.

4. konimex ◴[15 Apr 25 09:19 UTC] No.43690643[source]▶

>>43690281 (TP) #

> Anyone has seen his position on this topic?

Well, he's not a fan of GitHub pull request as per the last decade.

https://github.com/torvalds/linux/pull/17#issuecomment-56546...

replies(1): >>43691279 #

5. guappa ◴[15 Apr 25 09:30 UTC] No.43690714[source]▶

>>43690281 (TP) #

Fake news. That's just a mirror. The development happens over emails.

6. notarobot123 ◴[15 Apr 25 11:19 UTC] No.43691279[source]▶

>>43690643 #

> So sure, you may think I hate github. I don't. I hate very specific parts of github that I think are done badly.

> But other parts are done really really well.

> I think github does a stellar job at the actual hosting part. I really do. There is no question in my mind that github is one of the absolute best places to host a project. It's fast, it's efficient, it works, and it's available to anybody.

> That's wonderful. I think github is absolutely lovely in many respects.

> And that then makes me really annoyed at the places where I think github does a subpar job: pull requests and committing changes using the web interface.