Docs: drop unneeded git merge step
Docs: drop unneeded git merge step

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools