On Fri, Oct 2, 2020 at 6:36 pm, Philippe Normand <ph...@igalia.com> wrote:
Would you also consider preventing merge commits in order to keep a
clean mainline branch?

Big +1 to blocking merge commits. Merge commits in a huge project like WebKit would make commit archaeology very frustrating. (I assume this is implied by the monotonic commit identifiers proposal, but it doesn't exactly say that.)

I'm sure transition to git and GitHub should go well. I would have selected GitLab myself -- it's nicer and also overwhelmingly popular -- but whatever. (Does GitHub have merge request approvals? Replicating our reviewer/owner permissions with GitLab merge request approvals would be easy.)

One downside is that using github.com might actually make it *too* easy to spam us with low-quality issue reports and merge requests. We've historically been pretty bad at maintaining a clean issue tracker -- the quantity of untriaged issues on Bugzilla is very high -- and GitHub will make this worse. That's not an issue with the GitHub platform, though. Just something to stay on top of.

Michael


_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Reply via email to