In this case I think a PR to get this done is fine, it shouldn't require much 
changes. It'll be easier to discuss in the PR and be more efficient time-wise.

Reply via email to