Improve recent change trigger, use exponentially weighted metrics#371

Merged

geoffxy merged 2 commits intomainfrom gy-metrics-window

Nov 15, 2023

+41-20

Commits on Nov 15, 2023

Prevent RecentChange from firing too soon after a replan, due to metrics delays
geoffxy
committed
Use exponentially weighted metrics during planning
geoffxy
committed