rp_fetch_repo
Downloads and extracts the RedPitaya-FPGA GitHub repository as a zip, returning a repo_path for workspace setup without requiring Git or a Vivado session.
Instructions
Download the RedPitaya-FPGA repo from GitHub as a source zip and extract it (no git required, stdlib only). Returns repo_path to feed into rp_setup_workspace. Idempotent — pass force=true to redownload. No Vivado session required.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ref | No | Branch or tag to fetch (default: master). Extracted dir is RedPitaya-FPGA-<ref>. | |
| url | No | Override the full zip URL (e.g. a tag or a fork). If set, ref is used only for the expected dir name. | |
| force | No | If true, delete an existing extracted dir and redownload (default: false). | |
| timeout | No | Download timeout in seconds (default: 600). | |
| dest_path | No | Directory to extract into. Default: current working directory. |