Get pusher's username from $GL_USER, if present
Prefer push URL to push into gitolite via SSH, instead of pushing directly into Critic via HTTP