Why is this repo put under https://github.com/riscv/?

[lbmeng]

Shouldn't it be put under

• https://github.com/riscv-collab

or

• https://github.com/riscv-software-src

[kraj]

I think it should be moved under https://github.com/riscv-collab if we want to move it.