Repository navigation

Bots re-check a skipped-to goal when pushed off their path - #2200

Draft

sunzenshen wants to merge 4 commits into

NeotokyoRebuild:masterfrom

sunzenshen:bot-path-goal-recheck-pr

Draft

Bots re-check a skipped-to goal when pushed off their path#2200
sunzenshen wants to merge 4 commits into
NeotokyoRebuild:masterfrom
sunzenshen:bot-path-goal-recheck-pr

Commits on Oct 5, 2026
- Re-check a skipped-to goal when off the path
  sunzenshen
  committed
  1c8bf05
Commits on Oct 15, 2026
- Merge upstream master f426c222b (#2176's path follower members)
  sunzenshen
  committed
  7ae6f1f
- Leave the goal re-check off while detouring a prop
  sunzenshen
  committed
  22125f8
- Align a header comment
  sunzenshen
  committed
  2b6812e