modify gpush.py : support gerrit 2.7