Dave Borowitz 4cfa526b1b Merge changes from topic "notedb-push-option" ...

* changes:
  Disallow pushing to NoteDb without a special push option
  ReceiveCommits: Factor out parsePushOptions method

2018-03-28 11:32:48 +00:00

..

com/google

Merge changes from topic "notedb-push-option"

2018-03-28 11:32:48 +00:00

gerrit

Remove current_user predicates

2018-02-16 14:04:01 +00:00

org

Use ObjectIdSerializer from JGit [redux]

2018-03-15 13:08:38 +09:00

BUILD

Dissolve gerrit-launcher top-level directory

2017-10-31 11:02:37 -04:00

Main.java

Dissolve gerrit-main top-level directory

2017-10-31 11:02:36 -04:00