tree 67c55500d21de4b0eccf3a93f5a93fa061c471aa
parent d2cbd124105b7de699b837c66fc7375cfc85ac87
parent 0616e1d9b1e1664f0f802252c07d857f3f053cd1
author Luca Milanesio <luca.milanesio@gmail.com> 1557009829 +0100
committer Tiago Palma <tiago.f.palma@gmail.com> 1557235289 +0100

Merge branch 'stable-3.0'

* stable-3.0:
  Reformati with GJF 1.7
  Sanitize license headers
  Improve plugin documentation
  Do not write into SharedRef DB when git update fails
  Introduce new GitModule for GitRepositoryManager binding
  Add remote debug option to the local Gerrit setup
  Edit the design doc for readability.  No content changes.

Change-Id: I05bf5e2407dfb825926d81f56e7da0bbcaa03998