For open source projects of multiple contributors, yes, because that's where the community is, along with all relevant traces, e.g. issues, comments, PRs, all linked to their user's accounts.
I've seen people here suggest that GitLab's import tool is pretty good in importing the history of issues. It's also a copyright lawsuit waiting to happen, but beyond the import, the problem is that the community isn't there.
Not to mention that many projects have been uninspired enough to use GitHub as their homepage, which means that the web is littered with links to GitHub that aren't replaceable.
I've seen people here downplay the difficulty of moving off GitHub. Such people do not maintain popular or multi-contributor open source projects.
I remember back in the day IRC was the place to be for Debian. Ditto for when I was doing stuff with Perl.
Which is also linked to GitHub accounts and repositories. Ironically, Gitter was bought by GitLab and open sourced, but they haven't changed the implementation to allow for chat rooms linked to GitLab repos. At the glacial pace it is evolving, it wouldn't be unfair to say that Gitter is probably relying solely on OSS contributions at this point.
- https://gitter.im/scala/scala
- https://gitter.im/scala-js/scala-js
- https://gitter.im/typelevel/cats
- https://gitter.im/typelevel/cats-effect
If you built your company around GitHub team management, yes.
If you integrate with 3rd party services that function via GitHub, yes.
If you depend on an open source community which is primarily connected through GitHub, yes.
If I were to tell my team right now we were moving away from Github I'm pretty sure there'd be riots and fire. We rely on the hooks to tell us when things are being merged and we rely on PRs to do code review. Even the wikis are maintained and contain relevant information. No one does that. Corporate wikis are a black hole of shit, and somehow our Github wiki isn't.
The MS sales team is most likely currently engaged in some Defcon 2 sales planning in a war room bunker deep underground. Deals are going to happen, upsells will be sought. Account managers are being dropped from helicopters. Quotas are coalescing off the shoulder of Orion. Contracts are glittering at the Facebook compound gates. All of these deals will be won in time, making it rain.
I use the public GitHub many times a month. More importantly, every single job I've had for nearly the past decade has stored its code in GitHub. Not publicly accessible, and rarely at a private github.com account; every place I work uses a privately hosted GitHub Enterprise server. I wouldn't even consider using anything else, even though GitLab (and to a lesser extent, BitBucket) offer exactly the same functionality.
GitHub was groundbreaking when it arrived. Some people are having an emotional reaction and defecting to GitLab this month (for reasons that escape me), but GitHub has all the inertia. More importantly, GitHub has a vast community. It's just where code lives now.
I'm curious as to what sort of development you do or where you work that you're not a regular GitHub user. It's inescapable in every software company I've worked at since its inception, and as a consultant, that's a huge number of companies in nearly every industry. The only place I've worked in the past decade that didn't use GitHub was an all-Windows shop that used some horrible old proprietary revision control system whose name escapes me. Do you use git but not use GitHub (public or private or enterprise)?
On Bitbucket you pay for developer and have infinite private projects.
On GitHub is you pay for private projects and have infinite developers.
If one company has many projects and few developers, Bitbucket is cheaper.
I also have small customers who don't even know what a repository is. I self host with gitolite (I don't need a web interface, only push and pull) and give access to the most illuminated of them to a self hosted Redmine server for managing tickets. I write documentation in Redmine's wikis.
That is the legacy pricing model. Their new pricing model matches Bitbucket: https://github.com/pricing
Still, with Bitbucket we can have unlimited private repositories for free up to 5 users, then it's $2 per user. With GitHub unlimited private repository come at $7 per month, then it's $5 per month for the first 5 users and $9 for the others.
Maybe a universal identity provider is required.
GPG does not solve identity, it requires additional networking (like WoT or TOFU) before it can begin to function as an identity tool.
I can move. But it's definitly not painless.
I am genuinely curious, are the users of GitHub really that tied in to the site?
Is the cost of moving to another platform, really that difficult??