Merge branch 'stable-2.15'

* stable-2.15:
  Use Gerrit extension API instead of ReviewDb directly
  Factor out the access to PatchSets information

Change-Id: Idc48fbc6a334d785a5df13cafc49a61f739d5521
tree: 79c06897be8794bfdcfc30247d4201af264e11a2
  1. .settings/
  2. src/
  3. tools/
  4. .gitignore
  5. bazlets.bzl
  6. BUILD
  7. LICENSE
  8. WORKSPACE