Pull request not merged yet

[dips4982]

I was going through the pull request that are being merged and after pull request #6475 directly pull request #6582 has been merged. My pull request #6517 has the tag ready to merge and satisfies all the criteria has not been merged yet. Github team can you please look into this?
thank you

[melvincwng]

Likewise, my PR #6300 has been skipped. Can the Github team look into this as well?

#6300

[melvincwng]

@elisemoe & @juanpflores can you kindly look into this issue? Thanks

[melvincwng]

Thanks @juanpflores for the help provided :) !

[abhay-ag]

Same happened with my pull request too, mine was #7769 but they skipped from #7227 to #7841
@elisemoe @juanpflores can you please help me out

[roziqinkhoeru]

I'm also having the same problem, how to solve it? 😭

[abhay-ag]

GitHub Team please help!! @elisemoe and @juanpflores please look into this issue!

[yafesdot]

My pr(#7414) as referenced in issue #7971 is also not merged yet.
Edit: is merged now.

[AlexDev404]

@elisemoe @juanpflores Can you please merge mine as well? :(

#8142

EDIT: Thanks for merging! Much appreciated! 😄

[juanpflores]

All of this pull requests were merged!