docs/design: Move the run
doc to github.
#6759
The logs for this run have expired and are no longer available.
Loading
run
doc to github.
#6759