I have an open pull request at
https://github.com/apache/nuttx/pull/21400 which is approved by Xiang
Xiao but there are no other reviewers on the PR. Previously github would
select a representative set of reviewers when I open a PR, but
appearenlty not this time.