Fix skipGroup user propagation for Git/HTTP pushes

When commits are pushed using Git/HTTP, the receive commit
is executed in a separate asynchronous thread that does not
inherit the same thread-local context.

Get the user from the receiveEvent so that skip by group
can work reliably on both Git/SSH and Git/HTTP pushes.

Change-Id: I42c7b0062fcb2d188c2fd67fbaa0f41705d1aced
14 files changed
tree: e79e7b3310648a2cea6d73256c18b8e229c17dbc
  1. .settings/
  2. src/
  3. .gitignore
  4. BUILD
  5. external_plugin_deps.bzl
  6. LICENSE