| name | setup [dev] |
| description | First-time repo setup — submodules, dependencies, and verification |
First-Time Repo Setup
Set up the Pedro repository from a fresh clone so it builds and passes all tests.
Steps
-
Switch to the right branch and do a pull
If the user passed dev as argument, the switch to the dev branch before doing anything.
Otherwise switch to master. In both cases, run a git pull --rebase.
-
Ensure git submodules are checked out
Run git submodule update --init --recursive from the project root. Verify by checking that
vendor/abseil-cpp and vendor/libbpf are non-empty.
-
Run full setup
Run ./scripts/setup.sh -a to install all build, test, and dev dependencies. This takes a while
— capture output to a temp file. It's normal for this step to take up to 30+ minutes. Check the
output for errors. If setup reports a needed reboot (grub/kernel config changes), inform the user
and stop.
-
Run quick tests
Invoke /quicktest (no arguments) to run unit tests and verify the build works. If tests fail,
investigate and report — don't proceed to presubmit until unit tests pass.
-
Run presubmit
Invoke /presubmit to run the full presubmit suite (includes e2e tests, formatting, linting). If
failures occur, investigate and report to the user.
-
Report results
Summarize what was done and the final state:
- Submodule status
- Setup completion
- Test results (unit + presubmit)
- Any issues that need user attention (e.g. reboot required, flaky tests)