Repository navigation

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

Job	Run time
docs-changes-pr	5s
docs-build-pr / build-docs	35s
docs-verify-pr / log-report	3s
docs-updates-comment-pr / save-changelog-comment	5s
	48s