217aa97eff
Maintain a cache of sha->PR which we update every time we fetch a pull_request object from github. Use this in the status event handler to map the status event to relevant PRs. Change-Id: Ie811329429e1b672ce012767a475447f80832ee8 |
||
---|---|---|
.. | ||
__init__.py | ||
githubconnection.py | ||
githubmodel.py | ||
githubreporter.py | ||
githubsource.py | ||
githubtrigger.py |