Issue #146: fix get-repo-instructions