r? @ChayimFriedman2

@Shourya742 Is there a specific reason you are requesting a review from me? I'm not that knowledgeable in that part of r-a.

@Shourya742 Is there a specific reason you are requesting a review from me? I'm not that knowledgeable in that part of r-a.

I had all my PRs reviewed by you, so I wanted to check with you first. Could you kindly let me know whom I should ping for this?

Well generally @Veykril is the team lead so he can probably review this. But as a general rule you don't need to ping; the PR will be reviewed when someone with the capacity will find the time (time should be short for such small PR; if you didn't get a review in a week you can ask).

Well generally @Veykril is the team lead so he can probably review this.

To be clear, just because I am the team lead doesn't mean I have to review everything 😬 (I assume you didn't mean to imply that but either way)

As Chayim said, review times vary from PR to PR and depend on reviewer capacity