James E. Blair b459c93395 Handle missing commits ...

If gertty is interrupted when fetching commits, or, well, any number
of weird things happen to the git repo, we could end up not having
the needed commits locally.  Do a sanity check before opening a
change and fetch them if needed.

Change-Id: I9bbecd09d1820e405b51a8471c5fd9e4fe8a7841

2014-05-30 08:44:22 -07:00

..

__init__.py

Handle missing commits

2014-05-30 08:44:22 -07:00

change_list.py

Handle missing commits

2014-05-30 08:44:22 -07:00

change.py

Handle missing commits

2014-05-30 08:44:22 -07:00

diff.py

Add patchset selection in diff

2014-05-30 08:44:22 -07:00

project_list.py

Add a project list header

2014-05-27 09:09:40 -07:00