Helper Managers#625

Merged

rwjblue merged 9 commits intomasterfrom

helper-managers

May 22, 2020

Commits on May 6, 2020

Adds Helper Manager RFC
Chris Garrett
committed
rename file
Chris Garrett
committed

Commits on May 9, 2020

Apply suggestions from code review

Chris Garrett
and
rwjblue
authored
add example and respond to feedback
Chris Garrett
committed
Apply suggestions from code review

Chris Garrett
and
chriskrycho
authored

Commits on May 10, 2020

Update text/0625-helper-managers.md

Chris Garrett
and
rwjblue
authored

Commits on May 14, 2020

respond to feedback
Chris Garrett
committed
update helper manager instance wording
Chris Garrett
committed
add SSR semantics and update prose
Chris Garrett
committed