Added the user parameter to get_repo in order to be able to get a Repository object for a repo that's not owned by the logged in user.