Merge pull request #5184 from novalis/fix-example Fix example checkout to forbid rather than require --