You can clone this repository using the git command above (will create directory "2025-12-01T17:35:13Z_rp2040devboard"), or download the compressed archive.