Hello
The other thread made the remark that this pull request was merged
https://github.com/apache/nuttx/pull/15437
However it appears that it was undocumented.
this problem was noticed by the ai bot
shortly after this it was approved by two people and merged
this is a breach of your own rules, that you have installed by having
automatic tooling to save time.
The tool has worked appropriately, and the result was discarded and
bypassed by two of the largest committers.
I request formal explanations about WHY this happened.
I will not be satisfied with half baked explanations.
Sebastien
