commit ef3c42eb2b49cac7a68993f1cc2df490461404ac
author Edwin Kempin <ekempin@google.com> Thu Sep 23 10:20:36 2021 +0200
committer Edwin Kempin <ekempin@google.com> Thu Sep 23 10:41:29 2021 +0200
tree c0a3c1302bd5150cc260397bc6b2dc97b3e5a9a7
parent 8e425bc277c26a9afa70658f32754f12dd1a0e99

ReceiveCommits: Add field with update type to push_count metric

For direct pushes we want to know whether the push was a creation or
fast-forward update, a non-fast-forward update or a deletion. Knowing
this is interesting if administrators want to enforce reviews for all
updates and disallow direct pushes, as creations or fast-forward updates
could be reviewed in Gerrit, but reviewing non-fast-forward updates and
deletions is not supported by Gerrit.

The update type (CREATE, UPDATE, UPDATE_NONFASTFORWARD, DELETE) is
available per ReceiveCommand, but a push can contain multiple
ReceiveCommands with potentially different update types. Since the
metric is per push, and not per ReceiveCommand, we simply record all
update types that appear in push as update type. For a push only UPDATE
and CREATE ReceiveCommands can appear together, for pushes that contain
UPDATE_NONFASTFORWARD and DELETE commands it's not possible that
ReceiveCommands with other command types are contained as well. For the
metric this means the update type may only be CREATE, UPDATE,
CREATE/UPDATE, UPDATE_NONFASTFORWARD and DELETE.

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I3b540928f6f5c2e381816886326d30ce096adf98