Hi all,

I have submitted a pull request for an enhancement to a feature. I have read the github guide and think that all has been done as requested. i.e we fixed up the style errors and such and all ticks are green. Now it is waiting to be merged.

The question is do we just wait or are we supposed to ping someone to have a look at our pull request and decide if its worth merging? Not sure how the devs handle all the merge requests there so many of them! 2.2k! So just want to make sure our contribution is not lost in the avalanche of prs.

thanks