4 ms·

I think that should mostly be up to the maintainer. It’s easy to complete pull requests in whatever desired way: Rebase, Merge, Squash, …