Election for Robin Pedersen as Committer on OpenHW Group CORE-V Cores

Robin Pedersen has been a substantial contributor to the OpenHW Group CORE-V Cores team and has already made a significant impact on the core-v-verif project (more than 25k lines of code added/changed and 345 commits merged in 130PRs).

He has addressed the following bugs:
- https://github.com/openhwgroup/core-v-verif/pull/1852 fix idv flist inclusion #1852
- https://github.com/openhwgroup/core-v-verif/pull/1823 UVMA RVFI - Remove 40s-dependency #1823
- https://github.com/openhwgroup/core-v-verif/pull/1678 Fix directed tests compilation #1678
- https://github.com/openhwgroup/core-v-verif/pull/1636 PMP Assert - Fix CEXes #1636
- https://github.com/openhwgroup/core-v-verif/pull/1631 RVFI Assert - Fix CEXes #1631
- https://github.com/openhwgroup/core-v-verif/pull/1630 OBI Asserts - Make Formal-Friendly #1630
- + Many more

He has also contributed to the following features on core-v-verif:
- cv32e40s/x assertions and/or coverage for the following core features:
-- OBI
-- PMA
-- PMP
-- User mode
-- Counter coverage
-- Exception coverage
- cv32e40s/x directed tests:
-- PMP
-- PMA
-- Fence.i
- core-v-verif infrastructure:
-- Repository restructuring effort
-- Onespin bringup in OpenHW
-- RVFI Assertions
-- Questa Formal support
-- UVM agent for ISACOV
+ Several others

It is my pleasure to nominate Robin Pedersen as a committer on OpenHW Group CORE-V Cores.