Rainer Gerhards 20a9c5da28
CI: reconfigure gemmini code review bot
It looks like our previous config was either for a pre-release or
did work albeit not following the (current) published schema.

Now changed it to current form.
2025-09-03 09:11:11 +02:00
..