Update repo_setup_instructions.md