What's our stance on rollups? I know they mess up history, but should it be
okay to do them when the queue is backed up?

At the moment our build rate and PR rates are roughly equal -- fine for
most situations, but if the queue gets backed up it stays that way.

IMO having an occasionally less linear history is okay, especially when
most of the PRs being rolled up are minor ones.

Thanks,
-Manish Goregaokar
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo

Reply via email to