Patch Set 1:

Problems (help appreciated):
- The history view may end up having no commits selected.
- Reveal doesn't seem to work. (Select an older commit from resource filtered commits, then change filter to repo -> commit is selected, but not revealed.)