tree e79e7b3310648a2cea6d73256c18b8e229c17dbc
parent 75c323a7ed2e0b21f9c9e737d773c12c41d4c2ac
author Luca Milanesio <luca.milanesio@gmail.com> 1485564951 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1485564951 +0000

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