setup-dev

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

1. 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.

2. 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.

3. 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.

4. 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.

5. Run presubmit

   Invoke /presubmit to run the full presubmit suite (includes e2e tests, formatting, linting). If failures occur, investigate and report to the user.

6. 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)