Live data from Hacker News

Give up GitHub: The time has come

sfconservancy.org

121–130 of 585 posts

Re: Give up GitHub: The time has come

#121
Would love to see Fossil get wider adoption:

https://www.fossil-scm.org/

Single 6mb executable with a version control system, web server, bug database, forums, import/export/sync with git, repo browser, much saner CLI than git, etc. Been using it for 2+ years for all my projects and love it.

Re: Give up GitHub: The time has come

#122
> If it is, as you claim, permissible to train the model (and allow users to generate code based on that model) on any code whatsoever and not be bound by any licensing terms, why did you choose to only train Copilot's model on FOSS? For example, why are your Microsoft Windows and Office codebases not in your training set?

This is my favorite question about Copilot ever.

Re: Give up GitHub: The time has come

#123

> For its part, Git was designed specifically to make software development distributed without a centralized site. Just yesterday I had to explain the basic premise/history of Git to a young intern. I had asked him if he was using Git to manage his little pet project the company gave him to play with. “No”, he replied, he didn’t know what the company’s policy was to posting code in public on GitHub. As I explained to…

So the only downside to local repo's is that a central site acts as a point of redundancy. Other than that I totally agree.

Re: Give up GitHub: The time has come

#124

Earlier quoted context omitted.

I used to teach a coding bootcamp. I had over 100 students over about 2 years, and ran into this constantly despite my best effort to explain that git != github from day one. We even did an exercise where we just used git locally first and then later (on a different day) showed how you can push to github. It didn't seem to matter. People just decided that git = github and couldn't let go of that.

git --> github porn --> pornhub best explanation of github for noobs

A safer-for-work version might use:

fried chicken --> KFC

Re: Give up GitHub: The time has come

#125

I have no considered opinion on the GitHub thing in general, but Copilot depresses me. Any tool that makes you more productive at the cost of taking away the pleasure of figuring it out on your own bores and depresses me.

> Any tool that makes you more productive at the cost of taking away the pleasure of figuring it out on your own bores and depresses me

I mean, you don't have to use these tools yourself, particularly since you have to pay for it and therefore there is no "it is free" allure.

While I understand what you are saying about the pleasure of figuring things out yourself (and do enjoy that feeling myself), I don't feel that the mere existence of the tool affects me that much.

Re: Give up GitHub: The time has come

#126
I disagree with all of their reasons for disliking GitHub.

* They make money from Co-Pilot? Great!

* They sell software to ICE? Good. Why wouldn’t they? I’m not interested in anti-immigration-enforcement politics.

* They’re a closed-source for-profit company? Great! That’s why their product is high quality.

Re: Give up GitHub: The time has come

#127
The most common and basic thing is almost disappointed for new comer. There are no steps of installation of project, i.e. how to install this project / repo and how to run. A very few maintainer mentioned the steps but a handful runs without error. So yes, Goodbye Github!

Re: Give up GitHub: The time has come

#128

> For its part, Git was designed specifically to make software development distributed without a centralized site. Just yesterday I had to explain the basic premise/history of Git to a young intern. I had asked him if he was using Git to manage his little pet project the company gave him to play with. “No”, he replied, he didn’t know what the company’s policy was to posting code in public on GitHub. As I explained to…

I used to teach a coding bootcamp. I had over 100 students over about 2 years, and ran into this constantly despite my best effort to explain that git != github from day one. We even did an exercise where we just used git locally first and then later (on a different day) showed how you can push to github. It didn't seem to matter. People just decided that git = github and couldn't let go of that.

With students you ran into this?

I'm surprised that at a coding bootcamp students would already have some idea of git ... at all.

Re: Give up GitHub: The time has come

#129

I publish my public FOSS work on a self-hosted Gitea. I don't allow account creation, and people can send me pull requests by email. That said, I think one thing (other than interface and brand loyalty) that keeps FOSS projects on GitHub is network effects. You can reasonably expect to search it and find the projects you're looking for, and your account lets you use the issue tracker and pull requests on other projec…

IMO it kinda speaks loudly that Gitea's development happens on github!

There's a reason that's the case, and it's likely one of the reasons I should just use github as well; despite being morally opposed to what they're doing WRT copilot.

Re: Give up GitHub: The time has come

#130

Would love to see Fossil get wider adoption: https://www.fossil-scm.org/ Single 6mb executable with a version control system, web server, bug database, forums, import/export/sync with git, repo browser, much saner CLI than git, etc. Been using it for 2+ years for all my projects and love it.

They wrote the whole thing in C?! Wow, I really admire people who can turn C into useful, complex projects... I was trying to write C the other day and holy shit, it's incredibly hard to write anything that involves more than a couple of files... it just has almost no abstractions and one small slip and you've got a segfault that terminates your program without trace :D I gave up very quickly and been learning Zig now... as low level, but extremely saner to write stuff.

Anyway, why would I usee Fossil rather than Git exactly? Are there code hosts that support it? It does look interesting, but I don't see the motivation to do it when so many hosts support git (people who think GitHub is the "only" host need to look around: there's literally dozens of options), and I'm quite ok using it specially with intelliJ and magit (emacs) support.

Post reply on HN