Repository navigation

Update the procedure example to show the equivalent of the integratio… #266

Job	Run time
docs-changes-pr	4s
docs-build-pr / build-docs	28s
docs-updates-comment-pr / save-changelog-comment	8s
docs-verify-pr / log-report	5s
	45s