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