Replace the non-existent myrepo.git placeholder (which fails with "repository not found") with this repo's URL and a harmless `echo build-ok` build command, so §3 and §4.3 run as pasted.
Replace the non-existent myrepo.git placeholder (which fails with "repository not found") with this repo's URL and a harmless `echo build-ok` build command, so §3 and §4.3 run as pasted.