chore: record the merged plan PR head (#414) so this branch fast-forwards the gate

The branch's first push (the plan document) was squash-merged as fa0a0d7,
which this history already contains; this merge keeps every file as is.

Author: dmealing