Re: [platform-dev] Has the time come?

[Mickael Istria <mistria@xxxxxxxxxx>]

The _major_ difference is that GitLab supports Gerrit-like review
workflow: it preserves force pushed merge request versions and
comments on them, while GitHub doesn't.

That is not true anymore (it did change about 2 years ago IIRC).

See for instance https://github.com/eclipse/lemminx-maven/pull/205 , several versions of 1 commit, with forced-push, all the versions of the commit remain visible by clicking the references on the line saying `... forced-push ...`, and the comments against previous commits do remain visible in history.

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers