(no title)
xprn | 1 year ago
There might very well be some context I’m missing, but that’s what I understand from that side at least.
xprn | 1 year ago
There might very well be some context I’m missing, but that’s what I understand from that side at least.
fragmede|1 year ago
jorvi|1 year ago
zer00eyz|1 year ago
Git is a tool built for a project of the kernels scope, scale and organization.
Github is a thin web interface over top of that, it cuts some corners here and there and gets opinionated about how you should manage code (pull requests).
Think of it this way: most git hub projects end up with a monotonic output... the kernel isnt that. Between the current version someone is using, the next version that is being developed and the older versions getting back ports there's a lot going on there. Much more than GitHub and a pull request would cover.
skydhash|1 year ago
mhh__|1 year ago
Other than the UI not being very good, the code review experience is fundamentally hampered unless you enable squashing but that's a bit shit for different reasons.
On a purely UX level too the velocity of getting patches in is terrible. They're designed for ad-hoc open source contribution, not tight-loops of consistent work. People put up with the slowness because they know no difference but I promise its slow. You shouldn't need to go and get a coffee to wait for something to get merged and start coding again.