fix(repro --lint): show live progress (SSH PTY) + full-tree heads-up (#…

…220)

lintrunner only renders its progress bar to a TTY, but the lint ran over a
non-interactive SSH (no -t), so a clean run looked silent/hung for minutes
while ruff/mypy/pyrefly churned --all-files. Run lint over an SSH PTY (-t) so
the progress bar streams; print a note that an --all-files (main) lint is the
full trunk lint (several min) and a PR lints only its diff. Bumps to 0.7.15.

fix(repro --lint): mirror CI lint, don't run clang-tidy --all-files b…

…y default (#219)

Bare 'repro --lint' ran 'lintrunner --all-files', which on main fires
CLANGTIDY across the whole tree (needs generated build files, pegs the box
for ~hours). Now mirror pytorch CI (.github/scripts/lintrunner.sh):

- regenerate version + type stubs first (so mypy/pyrefly are accurate)
- run the python/general linters (--skip CLANGTIDY,CLANGTIDY_EXECUTORCH_COMPATIBILITY,CLANGFORMAT)
- C++ linters (CLANGTIDY/CLANGFORMAT) are a separate CI job -> opt-in via --clang
  (generates clang build files; heavy)
- scope mirrors CI: PR ref lints its diff (merge-base), main lints all files

Validated on a live cpu-x86 box: codegen + lintrunner init + lint run clean.
Bumps gpu-dev to 0.7.14.

feat(repro): --lint runs lintrunner on a CPU box (no GPU, no torch bu…

…ild) (#218)

gpu-dev repro --lint reserves a CPU warm box (cpu-x86, gpu_count=0),
checks out the ref source-only, and runs lintrunner instead of a python
test. Bare 'repro --lint' lints current main (--all-files); a PR ref lints
the diff (--merge-base-with origin/main, CI-equivalent); extra args pass
through to lintrunner. ref is now optional (defaults to main with --lint).

Bumps gpu-dev to 0.7.13.

gpu-dev 0.7.12 — submit --ref staging gate + torch rebuild (#209)

gpu-dev 0.7.11 — fix macOS proxy TLS (certifi CA bundle) for gpu-dev …

…connect

gpu-dev 0.7.10 — spot fixes (warm-pool disable + keep-alive, avail In…

…-Use, spot-reclaim message) + accumulated 0.7.7–0.7.10

gpu-dev 0.7.6 — repro drops you into the box to iterate

gpu-dev 0.7.5 — fix cancel from inside a (warm) pod

gpu-dev 0.7.4 — boxed + colored selector table

gpu-dev 0.7.3 — GPU-type selector is now the table itself