moving github pull requests to gerrit changes

#!/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

Index of /blog/2019-09-18-moving-github-pull-requests-to-gerrit-changes/