setup-dev

# 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)