Reduce mergify batch max wait time to 10 minutes

Cuts the default merge queue batch wait from 15 to 10 minutes so queued PRs merge sooner.