Lands what workspace commit 9a3d06f8b56a6b8de9f7da5a59ce1569010203c5 runs with: the source commits it names and the pins it published. Merged by the release chain when this repository's own checks pass.

Signed-off-by: sourcey-release[bot] <339708084+sourcey-release[bot]@users.noreply.github.com>