Repository navigation

Replace dead reference URLs found behind bot walls - #9774

Merged

MaxGhenis merged 7 commits into

mainfrom

dead-urls-wave2

Oct 5, 2026

Merged

Replace dead reference URLs found behind bot walls#9774
MaxGhenis merged 7 commits into
mainfrom
dead-urls-wave2

Commits on Oct 3, 2026
- Replace dead reference URLs found behind bot walls
  
  MaxGhenis
  and
  claude
  committed
  f847fd9
- Add the remaining verified replacements for this batch
  
  MaxGhenis
  and
  claude
  committed
  0609268
- Address review of the bot-wall batch
  
  MaxGhenis
  and
  claude
  committed
  16770c8
Commits on Oct 4, 2026
- Merge remote-tracking branch 'upstream/main' into HEAD
  MaxGhenis
  committed
  e25cbd0
- Strip a leading space from three Alabama code references
  
  MaxGhenis
  and
  claude
  committed
  863fa46
- Keep main's replacements for known-dead URLs in files both sides changed
  
  MaxGhenis
  and
  claude
  committed
  c54dd38
Commits on Oct 5, 2026
- Merge upstream/main into dead-urls-wave2
  
  MaxGhenis
  and
  claude
  committed
  9f1210a