moving github pull requests to gerrit changes

Found the script at https://gist.github.com/yuvipanda/5174162:


#!/bin/bash

# Stupid bad bad script
# But works
#
# Usage:
# ./sync-gerrit.bash  

rm -rf .git/rebase-apply
git checkout master
git branch -D tmp
git checkout -b tmp
curl $1.patch | git am
git checkout master
git checkout -b $2
git merge --squash tmp
git commit
git review