---

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

Files in 2019-09-18-moving-github-pull-requests-to-gerrit-changes:

../
HEADER.txt                                         01-Jul-2024 21:41                 449
sync-gerrit.bash                                   01-Jul-2024 21:41                 311