Gerrit changeset IDs

[Siddhesh Poyarekar]

On 04/11/19 7:27 am, Florian Weimer wrote:
> Should we start pushing commits with Gerrit changeset IDs?  Or is it
> sufficiently unlikely that we will adopt Gerrit that at this point, we'd
> just pollute the Git history pointlessly?

I don't have a strong opinion either way, but just wanted to note that
it's a harmless pollutant, i.e. not something that will affect our
workflow if we were to not adopt gerrit and go for something else.

Siddhesh