Use Java 8 Date/Time API

So far, explicit synchronization was done when formatting the log
time stamp.

Using the new Date/Time API avoids synchronization and simplifies the
code.

Change-Id: I2de0ec37238d6bc78ce17e6b7304343c870c6c75
1 file changed
tree: 692d41bae896a8c38a561e4fbf9b71d501dd1913
  1. .settings/
  2. src/
  3. tools/
  4. .gitignore
  5. bazlets.bzl
  6. BUILD
  7. README.md
  8. WORKSPACE
README.md

Delete project plugin for Gerrit Code Review

A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.

[Build Status