jacquev6/PyGithub — pull request #246 by tylertreat (2014-04-23 02:21:44+00:00)
Title: Implement support for getting repo by id

This allows the Github class to retrieve repos by either their full name
or id. If the user passes in an id for a repo which doesn't exist or in which
they don't have sufficient permissions, an UnknownObjectException will
be raised. This addresses issue #245.