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>