Have a dedicated variable to bypass gitolite when doing a git push
This variable is then checked in gitolite's update hook to avoid triggering
it which would fail the push since we're pushing directly to the git repo
on disk w/o going through gitolite itself.
Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>