gerrit-download for downloading patches from Gerrit

git remote add -f gerrit ssh://$USER@gerrit.example.com:29418/full/path/to/proj
pip install --user git-review
export PATH=$PATH:$HOME/.local
git review -s   # testing