OpenDaylight GitHub PR to Gerrit

github2gerrit.sh

http://blog2.vorburger.ch/2019/02/how-to-transfer-github-pull-requests-to.html

This is the documentation for how during 2018 I used to go from
the Version Bump Pull Requests proposed by Dependabot on 
https://github.com/vorburger/odlparent/pulls
to https://git.opendaylight.org/gerrit/#/q/topic:dependabot

cd /home/vorburger/dev/ODL/git/odlparent
$ git remote -v
gerrit	ssh://[email protected]:29418/odlparent.git (fetch)
gerrit	ssh://[email protected]:29418/odlparent.git (push)
origin	https://git.opendaylight.org/gerrit/odlparent (fetch)
origin	https://git.opendaylight.org/gerrit/odlparent (push)
vorburger	[email protected]:vorburger/odlparent.git (fetch)
vorburger	[email protected]:vorburger/odlparent.git (push)

using https://hub.github.com

with the following ~/bin/github2gerrit.sh :

#!/bin/sh
set -euxo pipefail

git checkout master
git pull
git push vorburger

hub checkout $1
git rebase master

git commit -s --amend --reset-author
git review -D -t dependabot