build

git-compatibility.md: adjust instructions to convert to colocated rep… #7320

Job	Run time
cargo-deny (advisories)	29s
build (ubuntu-latest)	7m 49s
cargo-deny (bans licenses sources)	33s
build (macos-13)	5m 25s
build (windows-latest)	9m 34s
Check protos	43s
build (ubuntu-latest, --all-features)	10m 5s
Clippy check	4m 15s
Check that MkDocs can build the docs	29s
Check formatting	22s
	39m 44s

Provide feedback