On Mon, Aug 1, 2022 at 1:51 AM Matthew Benedict de Detrich <[email protected]> wrote: > Due to time pressure from the release schedule does it make sense to merge > the PR as is since it already has the necessary approval from Luke or should > we wait for finale reviews from Mickael/Tom as well?
Thanks for the update Matthew. You can try tagging them with their GitHub alias in the PR. -- -José
