Use the full_name attribute of PyGithub Repo objects (and extend our mock to include them).