pico-sdk repo.pico-examples repo.pico-extras or pico-playground should also be filed against those repos.pico-micropython-examples repo.In general if there is a specific repo for the thing you have an issue around, you should file the issue on that repo. However all other issues, including documentation, other user-facing issues like IDE problems, should be filed here.
Issues relating to the MicroPython port should now be filed against the upstream micropython repo as the RP2040 support has been integrated into the main MicroPython distribution.
Issues relating to the CircuitPython port should be filed against the main circuitpython repo as CircuitPython is maintained by Adafruit, and initial RP2040 support has already been integrated into the main CircuitPython distribution. CircuitPython binaries can be found here.